#include <stdio.h> #include <stdlib.h> int __attribute__((noinline)) baz (int x) { abort (); } int bar (int x) { puts ("in bar"); return baz (x + 1) + 2; }