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
6void bar(__global int *p) __attribute__((nonnull(1)));
7
8void foo(__global int *p) {
9  if ((uint64_t)p <= 1UL << 32)
10    bar(p); // no-warning
11}
12