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