1164032Srwatsonextern void abort (void); 2164032Srwatsonextern void exit (int); 3164032Srwatson 4164032Srwatsonvoid do_exit (void) { exit (0); } 5164032Srwatsonvoid do_abort (void) { abort (); } 6164032Srwatson 7164032Srwatsonvoid foo (int x, int a) 8164032Srwatson{ 9164032Srwatson if (x < a) 10164032Srwatson goto doit; 11164032Srwatson do_exit (); 12164032Srwatson if (x != a) 13164032Srwatson goto doit; 14164032Srwatson 15164032Srwatson /* else */ 16164032Srwatson do_abort (); 17164032Srwatson return; 18164032Srwatson 19164032Srwatsondoit: 20164032Srwatson do_abort (); 21164032Srwatson} 22164032Srwatson 23164032Srwatsonint main() 24164032Srwatson{ 25164032Srwatson foo (1, 0); 26164032Srwatson return 0; 27164032Srwatson} 28164032Srwatson