Print this page
new smatch
*** 41,50 ****
--- 41,78 ----
ptr = ptr;
ptr = &obj;
obj = *ptr;
}
+ static void test_restrict(void)
+ {
+ int *restrict obj, *restrict *ptr;
+ typeof(obj) var = obj;
+ typeof(ptr) ptr2 = ptr;
+ typeof(*ptr) var2 = obj;
+ typeof(*ptr) *ptr3 = ptr;
+ typeof(obj) *ptr4 = ptr;
+ obj = obj;
+ ptr = ptr;
+ ptr = &obj;
+ obj = *ptr;
+ }
+
+ static void test_atomic(void)
+ {
+ int _Atomic obj, *ptr;
+ typeof(obj) var = obj;
+ typeof(ptr) ptr2 = ptr;
+ typeof(*ptr) var2 = obj;
+ typeof(*ptr) *ptr3 = ptr;
+ typeof(obj) *ptr4 = ptr;
+ obj = obj;
+ ptr = ptr;
+ ptr = &obj;
+ obj = *ptr;
+ }
+
static void test_bitwise(void)
{
typedef int __bitwise type_t;
type_t obj, *ptr;
typeof(obj) var = obj;