test/Analysis/uninit-vals-ps-region.m

   1 // RUN: %clang_analyze_cc1 -analyzer-store=region -analyzer-checker=core -verify %s
   2
   3 struct s {
   4   int data;
   5 };
   6
   7 struct s global;
   8
   9 void g(int);
  10
  11 void f4() {
  12   int a;
  13   if (global.data == 0)
  14     a = 3;
  15   if (global.data == 0) // When the true branch is feasible 'a = 3'.
  16     g(a); // no-warning
  17 }
  18
  19
  20 // Test uninitialized value due to part of the structure being uninitialized.
  21 struct TestUninit { int x; int y; };
  22 struct TestUninit test_uninit_aux();
  23 void test_unit_aux2(int);
  24 void test_uninit_pos() {
  25   struct TestUninit v1 = { 0, 0 };
  26   struct TestUninit v2 = test_uninit_aux();
  27   int z;
  28   v1.y = z; // expected-warning{{Assigned value is garbage or undefined}}
  29   test_unit_aux2(v2.x + v1.y);
  30 }
  31 void test_uninit_pos_2() {
  32   struct TestUninit v1 = { 0, 0 };
  33   struct TestUninit v2;
  34   test_unit_aux2(v2.x + v1.y);  // expected-warning{{The left operand of '+' is a garbage value}}
  35 }
  36 void test_uninit_pos_3() {
  37   struct TestUninit v1 = { 0, 0 };
  38   struct TestUninit v2;
  39   test_unit_aux2(v1.y + v2.x);  // expected-warning{{The right operand of '+' is a garbage value}}
  40 }
  41
  42 void test_uninit_neg() {
  43   struct TestUninit v1 = { 0, 0 };
  44   struct TestUninit v2 = test_uninit_aux();
  45   test_unit_aux2(v2.x + v1.y);
  46 }
  47
  48 extern void test_uninit_struct_arg_aux(struct TestUninit arg);
  49 void test_uninit_struct_arg() {
  50   struct TestUninit x;
  51   test_uninit_struct_arg_aux(x); // expected-warning{{Passed-by-value struct argument contains uninitialized data (e.g., field: 'x')}}
  52 }
  53
  54 @interface Foo
  55 - (void) passVal:(struct TestUninit)arg;
  56 @end
  57 void testFoo(Foo *o) {
  58   struct TestUninit x;
  59   [o passVal:x]; // expected-warning{{Passed-by-value struct argument contains uninitialized data (e.g., field: 'x')}}
  60 }
  61
  62 // Test case from <rdar://problem/7780304>.  That shows an uninitialized value
  63 // being used in the LHS of a compound assignment.
  64 void rdar_7780304() {
  65   typedef struct s_r7780304 { int x; } s_r7780304;
  66   s_r7780304 b;
  67   b.x |= 1; // expected-warning{{The left expression of the compound assignment is an uninitialized value. The computed value will also be garbage}}
  68 }
  69
  70
  71 // The flip side of PR10163 -- float arrays that are actually uninitialized
  72 // (The main test is in uninit-vals.m)
  73 void test_PR10163(float);
  74 void PR10163 (void) {
  75   float x[2];
  76   test_PR10163(x[1]); // expected-warning{{uninitialized value}}
  77 }
  78
  79 struct MyStr {
  80   int x;
  81   int y;
  82 };
  83 void swap(struct MyStr *To, struct MyStr *From) {
  84   // This is not really a swap but close enough for our test.
  85   To->x = From->x;
  86   To->y = From->y; // no warning
  87 }
  88 int test_undefined_member_assignment_in_swap(struct MyStr *s2) {
  89   struct MyStr s1;
  90   s1.x = 5;
  91   swap(s2, &s1);
  92   return s2->y; // expected-warning{{Undefined or garbage value returned to caller}}
  93 }