/* @generated */ digraph iCFG { "bar#_Z3barv.7d9c90fb4a18f941dfd92032592c170a_1" [label="1: Start bar\nFormals: \nLocals: func:class bar::lambda_shared_lambda_lambda1.cpp:11:15 0$?%__sil_tmpSIL_materialize_temp__n$1:class bar::lambda_shared_lambda_lambda1.cpp:11:15 \n DECLARE_LOCALS(&return,&func,&0$?%__sil_tmpSIL_materialize_temp__n$1); [line 10]\n " color=yellow style=filled] "bar#_Z3barv.7d9c90fb4a18f941dfd92032592c170a_1" -> "bar#_Z3barv.7d9c90fb4a18f941dfd92032592c170a_4" ; "bar#_Z3barv.7d9c90fb4a18f941dfd92032592c170a_2" [label="2: Exit bar \n " color=yellow style=filled] "bar#_Z3barv.7d9c90fb4a18f941dfd92032592c170a_3" [label="3: Return Stmt \n n$0=_fun_bar::lambda_shared_lambda_lambda1.cpp:11:15_operator()(&func:class bar::lambda_shared_lambda_lambda1.cpp:11:15&) [line 15]\n *&return:int=(7 / n$0) [line 15]\n " shape="box"] "bar#_Z3barv.7d9c90fb4a18f941dfd92032592c170a_3" -> "bar#_Z3barv.7d9c90fb4a18f941dfd92032592c170a_2" ; "bar#_Z3barv.7d9c90fb4a18f941dfd92032592c170a_4" [label="4: DeclStmt \n *&0$?%__sil_tmpSIL_materialize_temp__n$1:class bar::lambda_shared_lambda_lambda1.cpp:11:15=(_fun_bar::lambda_shared_lambda_lambda1.cpp:11:15_operator()) [line 11]\n _fun_bar::lambda_shared_lambda_lambda1.cpp:11:15_(&func:class bar::lambda_shared_lambda_lambda1.cpp:11:15*,&0$?%__sil_tmpSIL_materialize_temp__n$1:class bar::lambda_shared_lambda_lambda1.cpp:11:15&) [line 11]\n " shape="box"] "bar#_Z3barv.7d9c90fb4a18f941dfd92032592c170a_4" -> "bar#_Z3barv.7d9c90fb4a18f941dfd92032592c170a_3" ; "foo#_Z3foov.69dc85dbfdb3da90badccdb11670a4ca_1" [label="1: Start foo\nFormals: \nLocals: y:class foo::lambda_shared_lambda_lambda1.cpp:20:12 0$?%__sil_tmpSIL_materialize_temp__n$1:class foo::lambda_shared_lambda_lambda1.cpp:20:12 unused:class foo::lambda_shared_lambda_lambda1.cpp:19:17 0$?%__sil_tmpSIL_materialize_temp__n$2:class foo::lambda_shared_lambda_lambda1.cpp:19:17 \n DECLARE_LOCALS(&return,&y,&0$?%__sil_tmpSIL_materialize_temp__n$1,&unused,&0$?%__sil_tmpSIL_materialize_temp__n$2); [line 18]\n " color=yellow style=filled] "foo#_Z3foov.69dc85dbfdb3da90badccdb11670a4ca_1" -> "foo#_Z3foov.69dc85dbfdb3da90badccdb11670a4ca_5" ; "foo#_Z3foov.69dc85dbfdb3da90badccdb11670a4ca_2" [label="2: Exit foo \n " color=yellow style=filled] "foo#_Z3foov.69dc85dbfdb3da90badccdb11670a4ca_3" [label="3: Return Stmt \n n$0=_fun_foo::lambda_shared_lambda_lambda1.cpp:20:12_operator()(&y:class foo::lambda_shared_lambda_lambda1.cpp:20:12&,3:int) [line 21]\n *&return:int=(5 / (4 - n$0)) [line 21]\n " shape="box"] "foo#_Z3foov.69dc85dbfdb3da90badccdb11670a4ca_3" -> "foo#_Z3foov.69dc85dbfdb3da90badccdb11670a4ca_2" ; "foo#_Z3foov.69dc85dbfdb3da90badccdb11670a4ca_4" [label="4: DeclStmt \n *&0$?%__sil_tmpSIL_materialize_temp__n$1:class foo::lambda_shared_lambda_lambda1.cpp:20:12=(_fun_foo::lambda_shared_lambda_lambda1.cpp:20:12_operator()) [line 20]\n _fun_foo::lambda_shared_lambda_lambda1.cpp:20:12_(&y:class foo::lambda_shared_lambda_lambda1.cpp:20:12*,&0$?%__sil_tmpSIL_materialize_temp__n$1:class foo::lambda_shared_lambda_lambda1.cpp:20:12&) [line 20]\n " shape="box"] "foo#_Z3foov.69dc85dbfdb3da90badccdb11670a4ca_4" -> "foo#_Z3foov.69dc85dbfdb3da90badccdb11670a4ca_3" ; "foo#_Z3foov.69dc85dbfdb3da90badccdb11670a4ca_5" [label="5: DeclStmt \n *&0$?%__sil_tmpSIL_materialize_temp__n$2:class foo::lambda_shared_lambda_lambda1.cpp:19:17=(_fun_foo::lambda_shared_lambda_lambda1.cpp:19:17_operator()) [line 19]\n _fun_foo::lambda_shared_lambda_lambda1.cpp:19:17_(&unused:class foo::lambda_shared_lambda_lambda1.cpp:19:17*,&0$?%__sil_tmpSIL_materialize_temp__n$2:class foo::lambda_shared_lambda_lambda1.cpp:19:17&) [line 19]\n " shape="box"] "foo#_Z3foov.69dc85dbfdb3da90badccdb11670a4ca_5" -> "foo#_Z3foov.69dc85dbfdb3da90badccdb11670a4ca_4" ; "fooOK#_Z5fooOKv.17fb07f2bfe616303a58d2e25ed98781_1" [label="1: Start fooOK\nFormals: \nLocals: y:class fooOK::lambda_shared_lambda_lambda1.cpp:26:12 0$?%__sil_tmpSIL_materialize_temp__n$1:class fooOK::lambda_shared_lambda_lambda1.cpp:26:12 \n DECLARE_LOCALS(&return,&y,&0$?%__sil_tmpSIL_materialize_temp__n$1); [line 24]\n " color=yellow style=filled] "fooOK#_Z5fooOKv.17fb07f2bfe616303a58d2e25ed98781_1" -> "fooOK#_Z5fooOKv.17fb07f2bfe616303a58d2e25ed98781_4" ; "fooOK#_Z5fooOKv.17fb07f2bfe616303a58d2e25ed98781_2" [label="2: Exit fooOK \n " color=yellow style=filled] "fooOK#_Z5fooOKv.17fb07f2bfe616303a58d2e25ed98781_3" [label="3: Return Stmt \n n$0=_fun_fooOK::lambda_shared_lambda_lambda1.cpp:26:12_operator()(&y:class fooOK::lambda_shared_lambda_lambda1.cpp:26:12&,3:int) [line 27]\n *&return:int=(5 / (4 - n$0)) [line 27]\n " shape="box"] "fooOK#_Z5fooOKv.17fb07f2bfe616303a58d2e25ed98781_3" -> "fooOK#_Z5fooOKv.17fb07f2bfe616303a58d2e25ed98781_2" ; "fooOK#_Z5fooOKv.17fb07f2bfe616303a58d2e25ed98781_4" [label="4: DeclStmt \n *&0$?%__sil_tmpSIL_materialize_temp__n$1:class fooOK::lambda_shared_lambda_lambda1.cpp:26:12=(_fun_fooOK::lambda_shared_lambda_lambda1.cpp:26:12_operator()) [line 26]\n _fun_fooOK::lambda_shared_lambda_lambda1.cpp:26:12_(&y:class fooOK::lambda_shared_lambda_lambda1.cpp:26:12*,&0$?%__sil_tmpSIL_materialize_temp__n$1:class fooOK::lambda_shared_lambda_lambda1.cpp:26:12&) [line 26]\n " shape="box"] "fooOK#_Z5fooOKv.17fb07f2bfe616303a58d2e25ed98781_4" -> "fooOK#_Z5fooOKv.17fb07f2bfe616303a58d2e25ed98781_3" ; "operator()#lambda_shared_lambda_lambda1.cpp:11:15#bar#(_ZZ3barvENK3$_0clEv).6e24f7d75fa4d9b98ee11419b33635ae_1" [label="1: Start bar::lambda_shared_lambda_lambda1.cpp:11:15_operator()\nFormals: this:class bar::lambda_shared_lambda_lambda1.cpp:11:15*\nLocals: i:int \n DECLARE_LOCALS(&return,&i); [line 11]\n " color=yellow style=filled] "operator()#lambda_shared_lambda_lambda1.cpp:11:15#bar#(_ZZ3barvENK3$_0clEv).6e24f7d75fa4d9b98ee11419b33635ae_1" -> "operator()#lambda_shared_lambda_lambda1.cpp:11:15#bar#(_ZZ3barvENK3$_0clEv).6e24f7d75fa4d9b98ee11419b33635ae_4" ; "operator()#lambda_shared_lambda_lambda1.cpp:11:15#bar#(_ZZ3barvENK3$_0clEv).6e24f7d75fa4d9b98ee11419b33635ae_2" [label="2: Exit bar::lambda_shared_lambda_lambda1.cpp:11:15_operator() \n " color=yellow style=filled] "operator()#lambda_shared_lambda_lambda1.cpp:11:15#bar#(_ZZ3barvENK3$_0clEv).6e24f7d75fa4d9b98ee11419b33635ae_3" [label="3: Return Stmt \n n$0=*&i:int [line 13]\n *&return:int=n$0 [line 13]\n " shape="box"] "operator()#lambda_shared_lambda_lambda1.cpp:11:15#bar#(_ZZ3barvENK3$_0clEv).6e24f7d75fa4d9b98ee11419b33635ae_3" -> "operator()#lambda_shared_lambda_lambda1.cpp:11:15#bar#(_ZZ3barvENK3$_0clEv).6e24f7d75fa4d9b98ee11419b33635ae_2" ; "operator()#lambda_shared_lambda_lambda1.cpp:11:15#bar#(_ZZ3barvENK3$_0clEv).6e24f7d75fa4d9b98ee11419b33635ae_4" [label="4: DeclStmt \n *&i:int=0 [line 12]\n " shape="box"] "operator()#lambda_shared_lambda_lambda1.cpp:11:15#bar#(_ZZ3barvENK3$_0clEv).6e24f7d75fa4d9b98ee11419b33635ae_4" -> "operator()#lambda_shared_lambda_lambda1.cpp:11:15#bar#(_ZZ3barvENK3$_0clEv).6e24f7d75fa4d9b98ee11419b33635ae_3" ; "#lambda_shared_lambda_lambda1.cpp:11:15#bar#{_ZZ3barvEN3$_0C1EOS_|constexpr}.c3f1c86fb664b55d07a53dff04016052_1" [label="1: Start bar::lambda_shared_lambda_lambda1.cpp:11:15_\nFormals: this:class bar::lambda_shared_lambda_lambda1.cpp:11:15* __param_0:class bar::lambda_shared_lambda_lambda1.cpp:11:15&\nLocals: \n DECLARE_LOCALS(&return); [line 11]\n " color=yellow style=filled] "#lambda_shared_lambda_lambda1.cpp:11:15#bar#{_ZZ3barvEN3$_0C1EOS_|constexpr}.c3f1c86fb664b55d07a53dff04016052_1" -> "#lambda_shared_lambda_lambda1.cpp:11:15#bar#{_ZZ3barvEN3$_0C1EOS_|constexpr}.c3f1c86fb664b55d07a53dff04016052_2" ; "#lambda_shared_lambda_lambda1.cpp:11:15#bar#{_ZZ3barvEN3$_0C1EOS_|constexpr}.c3f1c86fb664b55d07a53dff04016052_2" [label="2: Exit bar::lambda_shared_lambda_lambda1.cpp:11:15_ \n " color=yellow style=filled] "operator()#lambda_shared_lambda_lambda1.cpp:19:17#foo#(_ZZ3foovENK3$_1clEv).95a3f07bafd8e3c4303c8a5c7c88c938_1" [label="1: Start foo::lambda_shared_lambda_lambda1.cpp:19:17_operator()\nFormals: this:class foo::lambda_shared_lambda_lambda1.cpp:19:17*\nLocals: \n DECLARE_LOCALS(&return); [line 19]\n " color=yellow style=filled] "operator()#lambda_shared_lambda_lambda1.cpp:19:17#foo#(_ZZ3foovENK3$_1clEv).95a3f07bafd8e3c4303c8a5c7c88c938_1" -> "operator()#lambda_shared_lambda_lambda1.cpp:19:17#foo#(_ZZ3foovENK3$_1clEv).95a3f07bafd8e3c4303c8a5c7c88c938_3" ; "operator()#lambda_shared_lambda_lambda1.cpp:19:17#foo#(_ZZ3foovENK3$_1clEv).95a3f07bafd8e3c4303c8a5c7c88c938_2" [label="2: Exit foo::lambda_shared_lambda_lambda1.cpp:19:17_operator() \n " color=yellow style=filled] "operator()#lambda_shared_lambda_lambda1.cpp:19:17#foo#(_ZZ3foovENK3$_1clEv).95a3f07bafd8e3c4303c8a5c7c88c938_3" [label="3: Return Stmt \n *&return:int=(1 / 0) [line 19]\n " shape="box"] "operator()#lambda_shared_lambda_lambda1.cpp:19:17#foo#(_ZZ3foovENK3$_1clEv).95a3f07bafd8e3c4303c8a5c7c88c938_3" -> "operator()#lambda_shared_lambda_lambda1.cpp:19:17#foo#(_ZZ3foovENK3$_1clEv).95a3f07bafd8e3c4303c8a5c7c88c938_2" ; "#lambda_shared_lambda_lambda1.cpp:19:17#foo#{_ZZ3foovEN3$_1C1EOS_|constexpr}.f09bcd9650795baefac6c5a2e3ddd34f_1" [label="1: Start foo::lambda_shared_lambda_lambda1.cpp:19:17_\nFormals: this:class foo::lambda_shared_lambda_lambda1.cpp:19:17* __param_0:class foo::lambda_shared_lambda_lambda1.cpp:19:17&\nLocals: \n DECLARE_LOCALS(&return); [line 19]\n " color=yellow style=filled] "#lambda_shared_lambda_lambda1.cpp:19:17#foo#{_ZZ3foovEN3$_1C1EOS_|constexpr}.f09bcd9650795baefac6c5a2e3ddd34f_1" -> "#lambda_shared_lambda_lambda1.cpp:19:17#foo#{_ZZ3foovEN3$_1C1EOS_|constexpr}.f09bcd9650795baefac6c5a2e3ddd34f_2" ; "#lambda_shared_lambda_lambda1.cpp:19:17#foo#{_ZZ3foovEN3$_1C1EOS_|constexpr}.f09bcd9650795baefac6c5a2e3ddd34f_2" [label="2: Exit foo::lambda_shared_lambda_lambda1.cpp:19:17_ \n " color=yellow style=filled] "#lambda_shared_lambda_lambda1.cpp:20:12#foo#{_ZZ3foovEN3$_2C1EOS_|constexpr}.99a0835482a5872c1a4c121dc7e1dc1a_1" [label="1: Start foo::lambda_shared_lambda_lambda1.cpp:20:12_\nFormals: this:class foo::lambda_shared_lambda_lambda1.cpp:20:12* __param_0:class foo::lambda_shared_lambda_lambda1.cpp:20:12&\nLocals: \n DECLARE_LOCALS(&return); [line 20]\n " color=yellow style=filled] "#lambda_shared_lambda_lambda1.cpp:20:12#foo#{_ZZ3foovEN3$_2C1EOS_|constexpr}.99a0835482a5872c1a4c121dc7e1dc1a_1" -> "#lambda_shared_lambda_lambda1.cpp:20:12#foo#{_ZZ3foovEN3$_2C1EOS_|constexpr}.99a0835482a5872c1a4c121dc7e1dc1a_2" ; "#lambda_shared_lambda_lambda1.cpp:20:12#foo#{_ZZ3foovEN3$_2C1EOS_|constexpr}.99a0835482a5872c1a4c121dc7e1dc1a_2" [label="2: Exit foo::lambda_shared_lambda_lambda1.cpp:20:12_ \n " color=yellow style=filled] "operator()#lambda_shared_lambda_lambda1.cpp:20:12#foo#(_ZZ3foovENK3$_2clEi).9ba50bae103958f7ce689f0dfd632ca9_1" [label="1: Start foo::lambda_shared_lambda_lambda1.cpp:20:12_operator()\nFormals: this:class foo::lambda_shared_lambda_lambda1.cpp:20:12* i:int\nLocals: \n DECLARE_LOCALS(&return); [line 20]\n " color=yellow style=filled] "operator()#lambda_shared_lambda_lambda1.cpp:20:12#foo#(_ZZ3foovENK3$_2clEi).9ba50bae103958f7ce689f0dfd632ca9_1" -> "operator()#lambda_shared_lambda_lambda1.cpp:20:12#foo#(_ZZ3foovENK3$_2clEi).9ba50bae103958f7ce689f0dfd632ca9_3" ; "operator()#lambda_shared_lambda_lambda1.cpp:20:12#foo#(_ZZ3foovENK3$_2clEi).9ba50bae103958f7ce689f0dfd632ca9_2" [label="2: Exit foo::lambda_shared_lambda_lambda1.cpp:20:12_operator() \n " color=yellow style=filled] "operator()#lambda_shared_lambda_lambda1.cpp:20:12#foo#(_ZZ3foovENK3$_2clEi).9ba50bae103958f7ce689f0dfd632ca9_3" [label="3: Return Stmt \n n$0=*&i:int [line 20]\n *&i:int=(n$0 + 1) [line 20]\n n$1=*&i:int [line 20]\n *&return:int=n$1 [line 20]\n " shape="box"] "operator()#lambda_shared_lambda_lambda1.cpp:20:12#foo#(_ZZ3foovENK3$_2clEi).9ba50bae103958f7ce689f0dfd632ca9_3" -> "operator()#lambda_shared_lambda_lambda1.cpp:20:12#foo#(_ZZ3foovENK3$_2clEi).9ba50bae103958f7ce689f0dfd632ca9_2" ; "#lambda_shared_lambda_lambda1.cpp:26:12#fooOK#{_ZZ5fooOKvEN3$_3C1EOS_|constexpr}.467aaa09f83ba493edd88e7f76fe925f_1" [label="1: Start fooOK::lambda_shared_lambda_lambda1.cpp:26:12_\nFormals: this:class fooOK::lambda_shared_lambda_lambda1.cpp:26:12* __param_0:class fooOK::lambda_shared_lambda_lambda1.cpp:26:12&\nLocals: \n DECLARE_LOCALS(&return); [line 26]\n " color=yellow style=filled] "#lambda_shared_lambda_lambda1.cpp:26:12#fooOK#{_ZZ5fooOKvEN3$_3C1EOS_|constexpr}.467aaa09f83ba493edd88e7f76fe925f_1" -> "#lambda_shared_lambda_lambda1.cpp:26:12#fooOK#{_ZZ5fooOKvEN3$_3C1EOS_|constexpr}.467aaa09f83ba493edd88e7f76fe925f_2" ; "#lambda_shared_lambda_lambda1.cpp:26:12#fooOK#{_ZZ5fooOKvEN3$_3C1EOS_|constexpr}.467aaa09f83ba493edd88e7f76fe925f_2" [label="2: Exit fooOK::lambda_shared_lambda_lambda1.cpp:26:12_ \n " color=yellow style=filled] "operator()#lambda_shared_lambda_lambda1.cpp:26:12#fooOK#(_ZZ5fooOKvENK3$_3clEi).3d555a16319a7bb49d565b6ed9aa8c7f_1" [label="1: Start fooOK::lambda_shared_lambda_lambda1.cpp:26:12_operator()\nFormals: this:class fooOK::lambda_shared_lambda_lambda1.cpp:26:12* i:int\nLocals: \n DECLARE_LOCALS(&return); [line 26]\n " color=yellow style=filled] "operator()#lambda_shared_lambda_lambda1.cpp:26:12#fooOK#(_ZZ5fooOKvENK3$_3clEi).3d555a16319a7bb49d565b6ed9aa8c7f_1" -> "operator()#lambda_shared_lambda_lambda1.cpp:26:12#fooOK#(_ZZ5fooOKvENK3$_3clEi).3d555a16319a7bb49d565b6ed9aa8c7f_3" ; "operator()#lambda_shared_lambda_lambda1.cpp:26:12#fooOK#(_ZZ5fooOKvENK3$_3clEi).3d555a16319a7bb49d565b6ed9aa8c7f_2" [label="2: Exit fooOK::lambda_shared_lambda_lambda1.cpp:26:12_operator() \n " color=yellow style=filled] "operator()#lambda_shared_lambda_lambda1.cpp:26:12#fooOK#(_ZZ5fooOKvENK3$_3clEi).3d555a16319a7bb49d565b6ed9aa8c7f_3" [label="3: Return Stmt \n n$0=*&i:int [line 26]\n *&i:int=(n$0 + 1) [line 26]\n *&return:int=n$0 [line 26]\n " shape="box"] "operator()#lambda_shared_lambda_lambda1.cpp:26:12#fooOK#(_ZZ5fooOKvENK3$_3clEi).3d555a16319a7bb49d565b6ed9aa8c7f_3" -> "operator()#lambda_shared_lambda_lambda1.cpp:26:12#fooOK#(_ZZ5fooOKvENK3$_3clEi).3d555a16319a7bb49d565b6ed9aa8c7f_2" ; }