You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

143 lines
15 KiB

/* @generated */
digraph iCFG {
"bar#_Z3barv.7d9c90fb4a18f941dfd92032592c170a_1" [label="1: Start bar\nFormals: \nLocals: func:bar::lambda_shared_lambda_lambda1.cpp:11:15 0$?%__sil_tmpSIL_materialize_temp__n$1: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: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: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:bar::lambda_shared_lambda_lambda1.cpp:11:15*,&0$?%__sil_tmpSIL_materialize_temp__n$1: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:foo::lambda_shared_lambda_lambda1.cpp:20:12 0$?%__sil_tmpSIL_materialize_temp__n$1:foo::lambda_shared_lambda_lambda1.cpp:20:12 unused:foo::lambda_shared_lambda_lambda1.cpp:19:17 0$?%__sil_tmpSIL_materialize_temp__n$2: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: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: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:foo::lambda_shared_lambda_lambda1.cpp:20:12*,&0$?%__sil_tmpSIL_materialize_temp__n$1: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: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:foo::lambda_shared_lambda_lambda1.cpp:19:17*,&0$?%__sil_tmpSIL_materialize_temp__n$2: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:fooOK::lambda_shared_lambda_lambda1.cpp:26:12 0$?%__sil_tmpSIL_materialize_temp__n$1: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: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: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:fooOK::lambda_shared_lambda_lambda1.cpp:26:12*,&0$?%__sil_tmpSIL_materialize_temp__n$1:fooOK::lambda_shared_lambda_lambda1.cpp:26:12&) [line 26]\n " shape="box"]
"fooOK#_Z5fooOKv.17fb07f2bfe616303a58d2e25ed98781_4" -> "fooOK#_Z5fooOKv.17fb07f2bfe616303a58d2e25ed98781_3" ;
"init_capture#_Z12init_capturev.b56a308a8fe2b749cb39e3b566237ec2_1" [label="1: Start init_capture\nFormals: \nLocals: \n DECLARE_LOCALS(&return); [line 30]\n " color=yellow style=filled]
"init_capture#_Z12init_capturev.b56a308a8fe2b749cb39e3b566237ec2_1" -> "init_capture#_Z12init_capturev.b56a308a8fe2b749cb39e3b566237ec2_2" ;
"init_capture#_Z12init_capturev.b56a308a8fe2b749cb39e3b566237ec2_2" [label="2: Exit init_capture \n " color=yellow style=filled]
"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: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:bar::lambda_shared_lambda_lambda1.cpp:11:15* __param_0: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: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:foo::lambda_shared_lambda_lambda1.cpp:19:17* __param_0: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:foo::lambda_shared_lambda_lambda1.cpp:20:12* __param_0: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: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:fooOK::lambda_shared_lambda_lambda1.cpp:26:12* __param_0: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: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" ;
"operator()#lambda_shared_lambda_lambda1.cpp:31:3#init_capture#(_ZZ12init_capturevENK3$_4clEv).1a4cfb9f400c66ee04ea1f7aeeef1d92_1" [label="1: Start init_capture::lambda_shared_lambda_lambda1.cpp:31:3_operator()\nFormals: this:init_capture::lambda_shared_lambda_lambda1.cpp:31:3*\nLocals: \n DECLARE_LOCALS(&return); [line 31]\n " color=yellow style=filled]
"operator()#lambda_shared_lambda_lambda1.cpp:31:3#init_capture#(_ZZ12init_capturevENK3$_4clEv).1a4cfb9f400c66ee04ea1f7aeeef1d92_1" -> "operator()#lambda_shared_lambda_lambda1.cpp:31:3#init_capture#(_ZZ12init_capturevENK3$_4clEv).1a4cfb9f400c66ee04ea1f7aeeef1d92_2" ;
"operator()#lambda_shared_lambda_lambda1.cpp:31:3#init_capture#(_ZZ12init_capturevENK3$_4clEv).1a4cfb9f400c66ee04ea1f7aeeef1d92_2" [label="2: Exit init_capture::lambda_shared_lambda_lambda1.cpp:31:3_operator() \n " color=yellow style=filled]
}