path
17 __analyzer_dump_path (); // { dg-message "path" }
~~~~~~~~~~~~~~~~~~~~~^~
int test()
int test(): events 1-3
13 do_something ();
~~~~~~~~~~~~~^~
|
(1) if ‘void do_something()’ throws an exception...
14 }
15 catch (const io_error &err)
~~~
|
(2) ...catching exception here
16 {
17 __analyzer_dump_path (); // { dg-message "path" }
~~~~~~~~~~~~~~~~~~~~~~~
|
(3) ⚠️ here
path
22 __analyzer_dump_path (); // { dg-message "path" }
~~~~~~~~~~~~~~~~~~~~~^~
int test()
int test(): events 1-3
13 do_something ();
~~~~~~~~~~~~~^~
|
(1) if ‘void do_something()’ throws an exception...
[...]
20 catch (const value_error &err)
~~~
|
(2) ...catching exception here
21 {
22 __analyzer_dump_path (); // { dg-message "path" }
~~~~~~~~~~~~~~~~~~~~~~~
|
(3) ⚠️ here
path
27 __analyzer_dump_path (); // { dg-message "path" }
~~~~~~~~~~~~~~~~~~~~~^~
int test()
int test(): events 1-3
13 do_something ();
~~~~~~~~~~~~~^~
|
(1) if ‘void do_something()’ throws an exception...
[...]
25 catch (const runtime_error &err)
~~~
|
(2) ...catching exception here
26 {
27 __analyzer_dump_path (); // { dg-message "path" }
~~~~~~~~~~~~~~~~~~~~~~~
|
(3) ⚠️ here
path
30 __analyzer_dump_path (); // { dg-message "path" }
~~~~~~~~~~~~~~~~~~~~~^~
int test()
int test(): event 1
30 __analyzer_dump_path (); // { dg-message "path" }
~~~~~~~~~~~~~~~~~~~~~^~
|
(1) ⚠️ here