UNKNOWN
15 __analyzer_eval (i == 42); // { dg-warning "UNKNOWN" }
~~~~~~~~~~~~~~~~^~~~~~~~~
TRUE
16 __analyzer_eval (i == j); // { dg-warning "TRUE" }
~~~~~~~~~~~~~~~~^~~~~~~~
path
17 __analyzer_dump_path (); // { dg-message "path" }
~~~~~~~~~~~~~~~~~~~~~^~
int test()
int test(): events 1-3
10 do_something ();
~~~~~~~~~~~~~^~
|
(1) if ‘void do_something()’ throws an exception...
11 }
12 catch (int i)
~
|
(2) ...catching exception here
[...]
17 __analyzer_dump_path (); // { dg-message "path" }
~~~~~~~~~~~~~~~~~~~~~~~
|
(3) ⚠️ here
path
20 __analyzer_dump_path (); // { dg-message "path" }
~~~~~~~~~~~~~~~~~~~~~^~
int test()
int test(): event 1
20 __analyzer_dump_path (); // { dg-message "path" }
~~~~~~~~~~~~~~~~~~~~~^~
|
(1) ⚠️ here
path
35 __analyzer_dump_path (); // { dg-message "path" }
~~~~~~~~~~~~~~~~~~~~~^~
int test_nothrow()
int test_nothrow(): event 1
35 __analyzer_dump_path (); // { dg-message "path" }
~~~~~~~~~~~~~~~~~~~~~^~
|
(1) ⚠️ here