view clang/test/Analysis/ptr-cmp-const-trunc.cl @ 266:00f31e85ec16 default tip

Added tag current for changeset 31d058e83c98
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 14 Oct 2023 10:13:55 +0900 (2023-10-14)
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
}