Searched refs:restarted_warning (Results 1 – 4 of 4) sorted by relevance
191 restarted_warning(void) in restarted_warning() function
492 extern void restarted_warning(void);
1807 restarted_warning(); in declare_start()
3880 testcase for restarted_warning() and undefined_goal()