]> andersk Git - splint.git/blob - test/preds.c
noexpand always false.
[splint.git] / test / preds.c
1 # include "bool.h"
2
3 int f (bool b1, bool b2, char c, int *p)
4 {
5   if (!p)
6     {
7       return 3;
8     }
9
10   if (*p)
11     {
12       return 4;
13     }
14
15   if (!(*p))
16     {
17       return 4;
18     }
19
20   if (b1 = b2)
21     {
22       return 5;
23     }
24   
25   if ((c = 'a'))
26     {
27       return 5;
28     }  
29
30   if (b1 == b2)
31     {
32       return 5;
33     }
34   
35   if (c)
36     {
37       return 2;
38     }
39
40   return 12;
41 }
42
43
44
45
46
47
48
49
This page took 0.035252 seconds and 5 git commands to generate.