| 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 | } |
| 12 |