usr/src/tools/smatch/src/validation/sm_compound_condition.c

5

struct ture *a;

usr/src/tools/smatch/src/validation/sm_compound_condition.c

6

struct ture *b;

usr/src/tools/smatch/src/validation/sm_deref_check_deref.c

5

struct ture *x;

usr/src/tools/smatch/src/validation/sm_deref_check_deref.c

8

struct ture *x;

usr/src/tools/smatch/src/validation/sm_deref_check_deref.c

9

struct ture **px;

usr/src/tools/smatch/src/validation/sm_double_free2.c

11

x = malloc(sizeof(struct ture));

usr/src/tools/smatch/src/validation/sm_fake_assignment.c

12

struct ture buf[10];

usr/src/tools/smatch/src/validation/sm_fake_assignment.c

7

struct ture outside = {

usr/src/tools/smatch/src/validation/sm_implied.c

10

struct ture *aa;

usr/src/tools/smatch/src/validation/sm_implied.c

5

struct ture *a;

usr/src/tools/smatch/src/validation/sm_implied.c

6

struct ture *b;

usr/src/tools/smatch/src/validation/sm_implied2.c

11

struct ture *aa, *ab;

usr/src/tools/smatch/src/validation/sm_implied2.c

5

struct ture *a;

usr/src/tools/smatch/src/validation/sm_implied2.c

6

struct ture *b;

usr/src/tools/smatch/src/validation/sm_implied2.c

7

struct ture *c;

usr/src/tools/smatch/src/validation/sm_implied3.c

12

struct ture *ab;

usr/src/tools/smatch/src/validation/sm_implied3.c

7

struct ture *b;

usr/src/tools/smatch/src/validation/sm_implied3.c

8

struct ture *c;

usr/src/tools/smatch/src/validation/sm_implied5.c

9

struct ture *aa;

usr/src/tools/smatch/src/validation/sm_memory.c

12

struct ture *aa;

usr/src/tools/smatch/src/validation/sm_memory.c

13

struct ture *ab;

usr/src/tools/smatch/src/validation/sm_memory.c

14

struct ture *ac;

usr/src/tools/smatch/src/validation/sm_memory.c

8

struct ture *a;

usr/src/tools/smatch/src/validation/sm_memory.c

9

struct ture *b;

usr/src/tools/smatch/src/validation/sm_range1.c

5

struct ture *p;

usr/src/tools/smatch/src/validation/sm_range1.c

6

struct ture *q;

usr/src/tools/smatch/src/validation/sm_skb.c

12

struct ture *a;

usr/src/tools/smatch/src/validation/sm_skb.c

24

struct ture *x;

usr/src/tools/smatch/src/validation/sm_skb.c

25

struct ture xx;