Ensure static_verifier_resultt are used as const objects

martin · martin · commit 79d1532afbd0 · 2021-03-14T18:10:55.000Z
diff --git a/src/goto-analyzer/static_verifier.cpp b/src/goto-analyzer/static_verifier.cpp
@@ -243,7 +243,7 @@ void static_verifier(
     auto &property_status = property.second.status;
     const goto_programt::const_targett &property_location = property.second.pc;
 
-    static_verifier_resultt result(ai, property_location, "unused", ns);
+    const static_verifier_resultt result(ai, property_location, "unused", ns);
 
     switch(result.status)
     {

Original file line number	Diff line number	Diff line change
`@@ -243,7 +243,7 @@ void static_verifier(`
`243`	`243`	`auto &property_status = property.second.status;`
`244`	`244`	`const goto_programt::const_targett &property_location = property.second.pc;`
`245`	`245`
`246`		`- static_verifier_resultt result(ai, property_location, "unused", ns);`
	`246`	`+ const static_verifier_resultt result(ai, property_location, "unused", ns);`
`247`	`247`
`248`	`248`	`switch(result.status)`
`249`	`249`	`{`