Mercurial > hg > CbC > CbC_llvm

view clang/test/Analysis/concrete-address.c @ 222:81f6424ef0e3 llvm-original

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM original branch
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 18 Jul 2021 22:10:01 +0900
parents 1d019706d866
children c4bab56944e8
line wrap: on
line source

// RUN: %clang_analyze_cc1 -analyzer-checker=core,alpha.core -analyzer-store=region -verify %s
// expected-no-diagnostics

void foo() {
  int *p = (int*) 0x10000; // Should not crash here.
  *p = 3;
}