Merge pull request #2397 from tautschnig/vs-indent

Daniel Kroening · web-flow · commit a45e7770f041 · 2018-06-23T13:22:52.000+01:00
expr2c: indent output of code_deadt
diff --git a/src/ansi-c/expr2c.cpp b/src/ansi-c/expr2c.cpp
@@ -2786,7 +2786,7 @@ std::string expr2ct::convert_code_dead(
     return convert_norep(src, precedence);
   }
 
-  return "dead "+convert(src.op0())+";";
+  return indent_str(indent)  + "dead " + convert(src.op0()) + ";";
 }
 
 std::string expr2ct::convert_code_for(

Original file line number	Diff line number	Diff line change
`@@ -2786,7 +2786,7 @@ std::string expr2ct::convert_code_dead(`
`2786`	`2786`	`return convert_norep(src, precedence);`
`2787`	`2787`	`}`
`2788`	`2788`
`2789`		`- return "dead "+convert(src.op0())+";";`
	`2789`	`+ return indent_str(indent) + "dead " + convert(src.op0()) + ";";`
`2790`	`2790`	`}`
`2791`	`2791`
`2792`	`2792`	`std::string expr2ct::convert_code_for(`