Print this page
11972 resync smatch


  26         typeof(*ptr) *ptr3 = ptr;
  27         typeof(obj) *ptr4 = ptr;
  28         ptr = ptr;
  29         ptr = &obj;
  30 }
  31 
  32 static void test_volatile(void)
  33 {
  34         volatile int obj, *ptr;
  35         typeof(obj) var = obj;
  36         typeof(ptr) ptr2 = ptr;
  37         typeof(*ptr) var2 = obj;
  38         typeof(*ptr) *ptr3 = ptr;
  39         typeof(obj) *ptr4 = ptr;
  40         obj = obj;
  41         ptr = ptr;
  42         ptr = &obj;
  43         obj = *ptr;
  44 }
  45 




























  46 static void test_bitwise(void)
  47 {
  48         typedef int __bitwise type_t;
  49         type_t obj, *ptr;
  50         typeof(obj) var = obj;
  51         typeof(ptr) ptr2 = ptr;
  52         typeof(*ptr) var2 = obj;
  53         typeof(*ptr) *ptr3 = ptr;
  54         typeof(obj) *ptr4 = ptr;
  55         obj = obj;
  56         ptr = ptr;
  57         ptr = &obj;
  58         obj = *ptr;
  59 }
  60 
  61 static void test_static(void)
  62 {
  63         static int obj, *ptr;
  64         typeof(obj) var = obj;
  65         typeof(ptr) ptr2 = ptr;




  26         typeof(*ptr) *ptr3 = ptr;
  27         typeof(obj) *ptr4 = ptr;
  28         ptr = ptr;
  29         ptr = &obj;
  30 }
  31 
  32 static void test_volatile(void)
  33 {
  34         volatile int obj, *ptr;
  35         typeof(obj) var = obj;
  36         typeof(ptr) ptr2 = ptr;
  37         typeof(*ptr) var2 = obj;
  38         typeof(*ptr) *ptr3 = ptr;
  39         typeof(obj) *ptr4 = ptr;
  40         obj = obj;
  41         ptr = ptr;
  42         ptr = &obj;
  43         obj = *ptr;
  44 }
  45 
  46 static void test_restrict(void)
  47 {
  48         int *restrict obj, *restrict *ptr;
  49         typeof(obj) var = obj;
  50         typeof(ptr) ptr2 = ptr;
  51         typeof(*ptr) var2 = obj;
  52         typeof(*ptr) *ptr3 = ptr;
  53         typeof(obj) *ptr4 = ptr;
  54         obj = obj;
  55         ptr = ptr;
  56         ptr = &obj;
  57         obj = *ptr;
  58 }
  59 
  60 static void test_atomic(void)
  61 {
  62         int _Atomic obj, *ptr;
  63         typeof(obj) var = obj;
  64         typeof(ptr) ptr2 = ptr;
  65         typeof(*ptr) var2 = obj;
  66         typeof(*ptr) *ptr3 = ptr;
  67         typeof(obj) *ptr4 = ptr;
  68         obj = obj;
  69         ptr = ptr;
  70         ptr = &obj;
  71         obj = *ptr;
  72 }
  73 
  74 static void test_bitwise(void)
  75 {
  76         typedef int __bitwise type_t;
  77         type_t obj, *ptr;
  78         typeof(obj) var = obj;
  79         typeof(ptr) ptr2 = ptr;
  80         typeof(*ptr) var2 = obj;
  81         typeof(*ptr) *ptr3 = ptr;
  82         typeof(obj) *ptr4 = ptr;
  83         obj = obj;
  84         ptr = ptr;
  85         ptr = &obj;
  86         obj = *ptr;
  87 }
  88 
  89 static void test_static(void)
  90 {
  91         static int obj, *ptr;
  92         typeof(obj) var = obj;
  93         typeof(ptr) ptr2 = ptr;