25 lines · cpp
1// RUN: %clang_analyze_cc1 -analyzer-checker=debug.ExprInspection -verify %s2 3void clang_analyzer_warnIfReached();4 5struct S {6};7 8void Issue56873_1() {9 int n;10 11 // This line used to crash12 S *arr = new S[n];13 14 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}}15}16 17void Issue56873_2() {18 int n;19 20 // This line used to crash21 int *arr = new int[n];22 23 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}}24}25