() f() { if :true return; return; } int g() { int a = 0; int b = 1; if :true return a; return b; return 2; }