strengthen typing of instructiont::make_X

Daniel Kroening · Daniel Kroening · commit a55d239aab79 · 2019-01-30T11:01:30.000Z
diff --git a/src/goto-programs/goto_program.h b/src/goto-programs/goto_program.h
@@ -376,19 +376,19 @@ class goto_programt
       type = GOTO;
     }
 
-    void make_assignment(const codet &_code)
+    void make_assignment(const code_assignt &_code)
     {
       clear(ASSIGN);
       code=_code;
     }
 
-    void make_decl(const codet &_code)
+    void make_decl(const code_declt &_code)
     {
       clear(DECL);
       code=_code;
     }
 
-    void make_function_call(const codet &_code)
+    void make_function_call(const code_function_callt &_code)
     {
       clear(FUNCTION_CALL);
       code=_code;

Original file line number	Diff line number	Diff line change
`@@ -376,19 +376,19 @@ class goto_programt`
`376`	`376`	`type = GOTO;`
`377`	`377`	`}`
`378`	`378`
`379`		`- void make_assignment(const codet &_code)`
	`379`	`+ void make_assignment(const code_assignt &_code)`
`380`	`380`	`{`
`381`	`381`	`clear(ASSIGN);`
`382`	`382`	`code=_code;`
`383`	`383`	`}`
`384`	`384`
`385`		`- void make_decl(const codet &_code)`
	`385`	`+ void make_decl(const code_declt &_code)`
`386`	`386`	`{`
`387`	`387`	`clear(DECL);`
`388`	`388`	`code=_code;`
`389`	`389`	`}`
`390`	`390`
`391`		`- void make_function_call(const codet &_code)`
	`391`	`+ void make_function_call(const code_function_callt &_code)`
`392`	`392`	`{`
`393`	`393`	`clear(FUNCTION_CALL);`
`394`	`394`	`code=_code;`