concrete-address.c « Analysis « test - clang/clang.git - (deprecated) Vendor branches of https://git.llvm.org/git/clang.git , use clang/llvm-project instead.

index : clang/clang.git

(deprecated) Vendor branches of https://git.llvm.org/git/clang.git , use clang/llvm-project instead.

summary refs log tree commit diff stats

path: root/test/Analysis/concrete-address.c

blob: f6c445ebf56e1b1c1f5f224af1386839d5612dd9 (plain)

// RUN: %clang_cc1 -analyze -analyzer-checker=core,experimental.core -analyzer-store=region -verify %s

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