12 lines
293 B
Common Lisp
12 lines
293 B
Common Lisp
//RUN: %clang_analyze_cc1 -triple amdgcn-unknown-unknown -analyze -analyzer-checker=core -verify %s
|
|
// expected-no-diagnostics
|
|
|
|
#include <stdint.h>
|
|
|
|
void bar(__global int *p) __attribute__((nonnull(1)));
|
|
|
|
void foo(__global int *p) {
|
|
if ((uint64_t)p <= 1UL << 32)
|
|
bar(p); // no-warning
|
|
}
|