view clang/test/Analysis/ptr-cmp-const-trunc.cl @ 236:c4bab56944e8 llvm-original

LLVM 16
author kono
date Wed, 09 Nov 2022 17:45:10 +0900
parents 1d019706d866
children
line wrap: on
line source

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