;; Function baz (baz) baz () { int i; int i.1; int i.0; : [uninit-B.c : 12] i.0_1 = i; [uninit-B.c : 12] if ([uninit-B.c : 12] i.0_1 != 0) goto ; else goto ; : [uninit-B.c : 13] i.1_2 = i; [uninit-B.c : 13] bar (i.1_2); : [uninit-B.c : 14] foo (&i); [uninit-B.c : 15] return; }