Don't try calling lsl when file is missing.
[splint-patched.git] / test / argorder4.c
blob9837f53430e560899c26de68322d785feea64216
1 int glob;
3 int add(int x, int y) { return (x + y); }
5 int f()
7 return (glob);
10 int g()
12 return (++glob);
15 int h()
17 if (f() > 3)
19 return (f() + g()); /* bad --- order of evaluation matters! */
21 else
23 if (g() < 2)
25 return (f() + (++glob)); /* bad! */
27 else
29 return (g() + h()); /* bad (twice) */
33 /* unreachable code here */
35 return (add ((printf("hullo"), 3), (printf("goodbye"), 4))); /* bad (wrice) */