clang/test/Analysis/ptr-cmp-const-trunc.cl

   1 //RUN: %clang_analyze_cc1 -triple amdgcn-unknown-unknown -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 }