comment on entry_point()

kroening · kroening · commit 731d623a487c · 2014-05-21T10:38:14.000Z
git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@3861 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
diff --git a/src/goto-programs/goto_functions_template.h b/src/goto-programs/goto_functions_template.h
@@ -118,6 +118,8 @@ class goto_functions_templatet
   
   inline irep_idt entry_point() const
   {
+    // will change to ID__start to avoid confusion
+    // with C's main() function
     return ID_main;
   }
   

Original file line number	Diff line number	Diff line change
`@@ -118,6 +118,8 @@ class goto_functions_templatet`
`118`	`118`
`119`	`119`	`inline irep_idt entry_point() const`
`120`	`120`	`{`
	`121`	`+ // will change to ID__start to avoid confusion`
	`122`	`+ // with C's main() function`
`121`	`123`	`return ID_main;`
`122`	`124`	`}`
`123`	`125`