pkg/aflow/flow/patching: harden against empty generated patches

Make codeeditor error on nop changes that don't actually change the code.
Make patch testing error on empty patch.

Perhaps we need a notion of "mandatory" tools that must be called
successfully at least once... not sure yet.

Author: dvyukov

pkg/aflow/action/crash/test.go

@@ -47,6 +47,10 @@ func testPatch(ctx *aflow.Context, args testArgs) (testResult, error) {
 	if err != nil {
 		return res, err
 	}
+	if diff == "" {
+		res.TestError = "No patch to test."
+		return res, nil
+	}
 	res.PatchDiff = diff
 
 	if err := kernel.BuildKernel(args.KernelScratchSrc, args.KernelScratchSrc, args.KernelConfig, false); err != nil {

pkg/aflow/flow/patching/patching.go

@@ -129,7 +129,8 @@ The explanation of the root cause of the bug is:
 
 {{.BugExplanation}}
 
-{{if .TestError}}
+{{/* A TestError without PatchDiff means the previous invocation did not generate any patch. */}}
+{{if and .TestError .PatchDiff}}
 Another developer tried to fix this bug, and come up with the following patch:
 
 {{.PatchDiff}}

pkg/aflow/template.go

@@ -94,6 +94,7 @@ func walkTemplate(n parse.Node, used map[string]bool, errp *error) {
 		used[n.Ident[0]] = true
 	case *parse.VariableNode:
 	case *parse.TextNode:
+	case *parse.IdentifierNode:
 	default:
 		noteError(errp, "unhandled node type %T", n)
 	}

pkg/aflow/template_test.go

@@ -64,6 +64,14 @@ func TestTemplate(t *testing.T) {
 			},
 			err: "input foo is not provided",
 		},
+		{
+			template: `{{if and .foo .bar}} yes {{end}}`,
+			vars: map[string]reflect.Type{
+				"foo": reflect.TypeFor[bool](),
+				"bar": reflect.TypeFor[int](),
+			},
+			used: []string{"foo", "bar"},
+		},
 	}
 	for i, test := range tests {
 		t.Run(fmt.Sprint(i), func(t *testing.T) {

pkg/aflow/tool/codeeditor/codeeditor.go

@@ -79,7 +79,11 @@ func codeeditor(ctx *aflow.Context, state state, args args) (struct{}, error) {
 		return struct{}{}, aflow.BadCallError("CurrentCode snippet matched %v places,"+
 			" increase context in CurrentCode to avoid ambiguity", matches)
 	}
-	err = osutil.WriteFile(file, slices.Concat(newLines...))
+	newFileData := slices.Concat(newLines...)
+	if bytes.Equal(fileData, newFileData) {
+		return struct{}{}, aflow.BadCallError("The edit does not change the code.")
+	}
+	err = osutil.WriteFile(file, newFileData)
 	return struct{}{}, err
 }
 
@@ -97,7 +101,7 @@ func replace(lines, src, dst [][]byte, fuzzy bool) (newLines [][]byte, matches i
 					si++
 					continue
 				}
-				if len(l) == 0 {
+				if len(l) == 0 && li != i {
 					li++
 					continue
 				}

pkg/aflow/tool/codeeditor/codeeditor_test.go

@@ -105,6 +105,25 @@ foo`)
 	)
 }
 
+func TestCodeeditorNopEdit(t *testing.T) {
+	dir := writeTestFile(t, "src.c", `
+line0
+line1
+`)
+	aflow.TestTool(t, Tool,
+		state{
+			KernelScratchSrc: dir,
+		},
+		args{
+			SourceFile:  "src.c",
+			CurrentCode: "  line0",
+			NewCode:     "line0",
+		},
+		struct{}{},
+		`The edit does not change the code.`,
+	)
+}
+
 func TestCodeeditorReplacement(t *testing.T) {
 	type Test struct {
 		curFile string