| David Stenberg | 27ed855 | 2019-03-07 13:01:17 +0000 | [diff] [blame] | 1 | //RUN: %clang_analyze_cc1 -triple amdgcn-unknown-unknown -analyze -analyzer-checker=core -verify %s |
| 2 | // expected-no-diagnostics | ||||
| 3 | |||||
| 4 | #include <stdint.h> | ||||
| 5 | |||||
| 6 | void bar(__global int *p) __attribute__((nonnull(1))); | ||||
| 7 | |||||
| 8 | void foo(__global int *p) { | ||||
| 9 | if ((uint64_t)p <= 1UL << 32) | ||||
| 10 | bar(p); // no-warning | ||||
| 11 | } | ||||