TRUE
12 __analyzer_eval (i == 42); // { dg-warning "TRUE" }
~~~~~~~~~~~~~~~~^~~~~~~~~
path
11 __analyzer_dump_path (); // { dg-message "path" }
~~~~~~~~~~~~~~~~~~~~~^~
int test()
int test(): events 1-3
7 throw 42; // { dg-message "throwing exception of type 'int' here\.\.\." }
^~
|
(1) throwing exception of type ‘int’ here...
8 }
9 catch (int i) // { dg-message "\.\.\.catching exception of type 'int' here" }
~
|
(2) ...catching exception of type ‘int’ here
10 {
11 __analyzer_dump_path (); // { dg-message "path" }
~~~~~~~~~~~~~~~~~~~~~~~
|
(3) ⚠️ here