1 // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-output=text -verify %s
2 // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-output=text -analyzer-config prune-paths=false -DNPRUNE=1 -verify %s
3
4 // "prune-paths" is a debug option only; this is just a simple test to see that
5 // it's being honored.
6
helper()7 void helper() {
8 extern void foo();
9 foo();
10 }
11
test()12 void test() {
13 helper();
14 #if NPRUNE
15 // expected-note@-2 {{Calling 'helper'}}
16 // expected-note@-3 {{Returning from 'helper'}}
17 #endif
18
19 *(volatile int *)0 = 1; // expected-warning {{Dereference of null pointer}}
20 // expected-note@-1 {{Dereference of null pointer}}
21 }
22