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