TRUE
21 __analyzer_eval (i == 1066); // { dg-warning "TRUE" }
~~~~~~~~~~~~~~~~^~~~~~~~~~~
TRUE
30 __analyzer_eval (j == 42); // { dg-warning "TRUE" }
~~~~~~~~~~~~~~~~^~~~~~~~~
path
31 __analyzer_dump_path (); // { dg-message "path" }
~~~~~~~~~~~~~~~~~~~~~^~
void test()
void test(): events 1-7
9 throw 42;
^~
|
(1) throwing exception of type ‘int’ here...
[...]
12 catch (...)
~~~
|
(2) ...catching exception of type ‘int’ here
[...]
16 throw 1066; // throw an inner exception
~~~~
|
(3) throwing exception of type ‘int’ here...
[...]
19 catch (int i)
~
|
(4) ...catching exception of type ‘int’ here
[...]
23 throw; // rethrow the outer exception
~~~~~
|
(5) rethrowing exception of type ‘int’ here...
[...]
28 catch (int j)
~
|
(6) ...catching exception of type ‘int’ here
[...]
31 __analyzer_dump_path (); // { dg-message "path" }
~~~~~~~~~~~~~~~~~~~~~~~
|
(7) ⚠️ here