simplify '(x / -1)' to '-x' (but only for signed division)
[smatch.git] / validation / typeof-noderef.c
blobe95a53ad46d7ef304683a258d9fdc89fe2345426
1 #define __noderef __attribute__((noderef))
3 static void test_noderef(void)
5 int __noderef obj, *ptr;
6 typeof(ptr) ptr2 = ptr;
7 typeof(*ptr) *ptr3 = ptr;
8 typeof(obj) *ptr4 = ptr;
9 ptr = ptr;
10 ptr = &obj;
14 * check-name: typeof-noderef
15 * check-known-to-fail
17 * check-error-start
18 * check-error-end