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