Add missing const

romainbrenguier · romainbrenguier · commit 584db188a9d0 · 2018-11-15T14:52:30.000Z
diff --git a/src/goto-symex/symex_builtin_functions.cpp b/src/goto-symex/symex_builtin_functions.cpp
@@ -177,8 +177,8 @@ void goto_symext::symex_allocate(
   }
   else
   {
-    exprt nondet = build_symex_nondet(object_type);
-    code_assignt assignment(value_symbol.symbol_expr(), nondet);
+    const exprt nondet = build_symex_nondet(object_type);
+    const code_assignt assignment(value_symbol.symbol_expr(), nondet);
     symex_assign(state, assignment);
   }
 

Original file line number	Diff line number	Diff line change
`@@ -177,8 +177,8 @@ void goto_symext::symex_allocate(`
`177`	`177`	`}`
`178`	`178`	`else`
`179`	`179`	`{`
`180`		`- exprt nondet = build_symex_nondet(object_type);`
`181`		`- code_assignt assignment(value_symbol.symbol_expr(), nondet);`
	`180`	`+ const exprt nondet = build_symex_nondet(object_type);`
	`181`	`+ const code_assignt assignment(value_symbol.symbol_expr(), nondet);`
`182`	`182`	`symex_assign(state, assignment);`
`183`	`183`	`}`
`184`	`184`