TRUE
23 __analyzer_eval (f.m_x == 3); // { dg-warning "TRUE" }
~~~~~~~~~~~~~~~~^~~~~~~~~~~~
path
22 __analyzer_dump_path (); // { dg-message "path" }
~~~~~~~~~~~~~~~~~~~~~^~
int test(bool)
int test(bool): events 1-5
17 if (flag)
^~
|
(1) following ‘true’ branch (when ‘flag != false’)... ─>─┐
│
│
┌───────────────────────────────────────────────────────────────┘
18│ throw foo (3); // { dg-message "throwing exception of type 'foo' here\.\.\." }
│ ~
│ |
└───────────────────>(2) ...to here
(3) throwing exception of type ‘foo’ here...
19 }
20 catch (foo &f) // { dg-message "\.\.\.catching exception of type 'foo' here" }
~
|
(4) ...catching exception of type ‘foo’ here
21 {
22 __analyzer_dump_path (); // { dg-message "path" }
~~~~~~~~~~~~~~~~~~~~~~~
|
(5) ⚠️ here