12 lines · plain
1//RUN: %clang_analyze_cc1 -triple amdgcn-unknown-unknown -analyzer-checker=core -verify %s2// expected-no-diagnostics3 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-warning11}12