path
45 __analyzer_dump_path (); // { dg-message "path" }
~~~~~~~~~~~~~~~~~~~~~^~
int outer()
int outer(): events 1-2
32 int outer ()
^~~~~
|
(1) entry to ‘outer’
[...]
36 middle (1);
~~~~~~~~~~
|
(2) calling ‘middle’ from ‘outer’
int middle(int)
int middle(int): events 3-4
20 int middle (int flag)
^~~~~~
|
(3) entry to ‘middle’
[...]
24 return inner (flag);
~~~~~~~~~~~~
|
(4) calling ‘inner’ from ‘middle’
int inner(int)
int inner(int): events 5-9
11 int inner (int flag)
^~~~~
|
(5) entry to ‘inner’
12 {
13 if (flag)
~~
|
(6) following ‘true’ branch (when ‘flag != 0’)... ─>─┐
│
│
┌───────────────────────────────────────────────────────┘
14│ throw value_error (); // { dg-message "throwing exception of type 'value_error' here..." }
│ ~
│ |
└──────────────────────>(7) ...to here
(8) throwing exception of type ‘value_error’ here...
(9) unwinding 2 stack frames
int outer(): events 10-11
43 catch (const value_error &err) // { dg-message "\.\.\.catching exception of type 'value_error' here" }
^~~
|
(10) ...catching exception of type ‘value_error’ here
44 {
45 __analyzer_dump_path (); // { dg-message "path" }
~~~~~~~~~~~~~~~~~~~~~~~
|
(11) ⚠️ here