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

15

__smatch_implied(a);

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

16

__smatch_implied(x);

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

6

__smatch_implied(x & 0x1);

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

7

__smatch_implied(x & 0x2);

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

8

__smatch_implied(x & ~(0xffU));

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

9

__smatch_implied(x & ~(0xff));

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

10

__smatch_implied(y);

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

8

__smatch_implied(x);

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

8

__smatch_implied(a);

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

9

__smatch_implied(b);

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

29

__smatch_implied(l);

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

30

__smatch_implied(ul);

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

31

__smatch_implied(i);

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

32

__smatch_implied(ui);

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

33

__smatch_implied(c);

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

34

__smatch_implied(uc);

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

29

__smatch_implied(l);

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

30

__smatch_implied(ul);

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

31

__smatch_implied(i);

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

32

__smatch_implied(ui);

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

33

__smatch_implied(c);

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

34

__smatch_implied(uc);

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

29

__smatch_implied(l);

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

30

__smatch_implied(ul);

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

31

__smatch_implied(i);

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

32

__smatch_implied(ui);

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

33

__smatch_implied(c);

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

34

__smatch_implied(uc);

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

11

__smatch_implied(a);

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

10

__smatch_implied(nsec + count);

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

8

__smatch_implied(nsec + count);

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

17

__smatch_implied(aaa[0]);

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

18

__smatch_implied(aaa[5]);

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

20

__smatch_implied(aaa[5]);

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

23

__smatch_implied(aaa[z]);

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

25

__smatch_implied(aaa[z]);

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

18

__smatch_implied(x);

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

20

__smatch_implied(x);

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

15

__smatch_implied(a);

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

15

__smatch_implied(a);

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

17

__smatch_implied(c);

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

26

__smatch_implied(g);

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

27

__smatch_implied(e);

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

30

__smatch_implied(g - e);

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

31

__smatch_implied(g - f);

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

13

__smatch_implied(a);

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

16

__smatch_implied(b);

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

19

__smatch_implied(c);

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

22

__smatch_implied(d);

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

11

__smatch_implied(a);

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

12

__smatch_implied(b);

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

15

__smatch_implied(c);

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

16

__smatch_implied(d);

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

21

__smatch_implied(a);

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

22

__smatch_implied(b);

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

10

__smatch_implied((long long)frob(3.14));

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

25

__smatch_implied(foo);

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

28

__smatch_implied(foo);

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

12

__smatch_implied(a);

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

9

__smatch_implied(a);

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

18

__smatch_implied(a);

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

19

__smatch_implied(b);

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

21

__smatch_implied(a);

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

22

__smatch_implied(b);

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

31

__smatch_implied(b);

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

33

__smatch_implied(b);

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

30

__smatch_implied(var);

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

33

__smatch_implied(var);

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

24

__smatch_implied(x);

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

25

__smatch_implied(a);

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

29

__smatch_implied(a);

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

24

__smatch_implied(a);

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

25

__smatch_implied(x);

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

24

__smatch_implied(vbus);

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

15

__smatch_implied(x);

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

16

__smatch_implied(x);

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

10

__smatch_implied(a);

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

28

__smatch_implied(bar->foo->a);

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

29

__smatch_implied(f->a);

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

19

__smatch_implied(foo.bar.b);

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

20

__smatch_implied(foo.bar.c);

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

21

__smatch_implied(foo.x);

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

22

__smatch_implied(foo.y);

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

17

__smatch_implied(*x);

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

19

__smatch_implied(*x);

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

23

__smatch_implied(y);

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

25

__smatch_implied(y);

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

23

__smatch_implied(my_pointer->a);

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

24

__smatch_implied(my_pointer->b);

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

25

__smatch_implied(foo.a);

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

26

__smatch_implied(foo.b);

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

12

__smatch_implied(a);

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

10

__smatch_implied(a);

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

11

__smatch_implied(a);

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

14

__smatch_implied(b);

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

15

__smatch_implied(b);

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

18

__smatch_implied(c);

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

19

__smatch_implied(c);

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

22

__smatch_implied(d);

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

23

__smatch_implied(d);

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

28

__smatch_implied(e);

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

30

__smatch_implied(e);

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

11

__smatch_implied(a);

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

12

__smatch_implied(b);

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

13

__smatch_implied(c);

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

10

__smatch_implied(a);

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

12

__smatch_implied(a);

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

18

__smatch_implied(b);

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

20

__smatch_implied(b);

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

14

__smatch_implied(p->a);

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

20

__smatch_implied(p->a);

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

13

__smatch_implied(*val);

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

19

__smatch_implied(*val);

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

10

__smatch_implied(array + 1 - array);

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

11

__smatch_implied(array + 1);

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

12

__smatch_implied((int *)0 + 1);

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

8

__smatch_implied(&x);

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

9

__smatch_implied((unsigned long)(array + 1) - (unsigned long)array);

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

13

__smatch_implied(val);

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

18

__smatch_implied(val);

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

17

__smatch_implied(&x);

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

18

__smatch_implied(&aaa);

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

19

__smatch_implied(&aaa.b);

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

20

__smatch_implied(array);

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

21

__smatch_implied(&array[1]);

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

11

__smatch_implied(*p);

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

6

__smatch_implied(*p);

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

12

__smatch_implied(*p->p);

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

17

__smatch_implied(*p->p);

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

11

__smatch_implied(*bbb);

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

10

__smatch_implied(x);

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

7

__smatch_implied(x);

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

10

__smatch_implied(b);

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

11

__smatch_implied(c);

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

9

__smatch_implied(a);

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

11

__smatch_implied(min2);

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

15

__smatch_implied(ret);

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

16

__smatch_implied(a);

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

18

__smatch_implied(a);

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

8

__smatch_implied(strlen("foo"));

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

9

__smatch_implied(strnlen("foo", 2));

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

17

__smatch_implied(dest.x + dest.y);

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

19

__smatch_implied(dest.x + dest.y);

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

20

__smatch_implied(a);

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

36

__smatch_implied(a);

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

6

__smatch_implied(x);