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