* list must be freed by hand before. */
void free_ir_prog(void);
-/** Sets the file name / executable name or the like. Initially NULL. */
+/** Sets the file name / executable name or the like. Initially the
+ ident 'no_name_set'. */
void set_irp_prog_name (ident *name);
-/** Gets the file name / executable name or the like. Returns NULL if
- * not yet set.
+/** Returns true if the user ever set a program name */
+int irp_prog_name_is_set(void);
+
+/** Gets the file name / executable name or the like.
*/
ident *get_irp_prog_ident(void);
-/** Gets the file name / executable name or the like. Returns NULL if
- * not yet set.
+/** Gets the file name / executable name or the like.
*/
const char *get_irp_prog_name (void);
irg_outs_state get_irp_ip_outs_state(void);
void set_irp_ip_outs_inconsistent(void);
+
+irg_callee_info_state get_irp_callee_info_state(void);
+void set_irp_callee_info_state(irg_callee_info_state s);
+
#endif /* ifndef _IRPROG_H_ */