/* @generated */ digraph iCFG { "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_1" [label="1: Start binary_conditional::binaryConditional\nFormals: \nLocals: x:class binary_conditional::X 0$?%__sil_tmpSIL_materialize_temp__n$0:class binary_conditional::X 0$?%__sil_tmpSIL_temp_conditional___n$2:class binary_conditional::X 0$?%__sil_tmpSIL_materialize_temp__n$4:class binary_conditional::X a:class binary_conditional::X \n DECLARE_LOCALS(&return,&x,&0$?%__sil_tmpSIL_materialize_temp__n$0,&0$?%__sil_tmpSIL_temp_conditional___n$2,&0$?%__sil_tmpSIL_materialize_temp__n$4,&a); [line 22]\n " color=yellow style=filled] "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_1" -> "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_11" ; "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_2" [label="2: Exit binary_conditional::binaryConditional \n " color=yellow style=filled] "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_3" [label="3: + \n " ] "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_3" -> "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_10" ; "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_4" [label="4: Call _fun_binary_conditional::X_operator_bool \n n$3=_fun_binary_conditional::X_operator_bool(&0$?%__sil_tmpSIL_materialize_temp__n$0:class binary_conditional::X&) [line 24]\n " shape="box"] "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_4" -> "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_5" ; "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_4" -> "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_6" ; "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_5" [label="5: Prune (true branch) \n PRUNE((n$3 != 0), true); [line 24]\n " shape="invhouse"] "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_5" -> "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_7" ; "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_6" [label="6: Prune (false branch) \n PRUNE((n$3 == 0), false); [line 24]\n " shape="invhouse"] "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_6" -> "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_8" ; "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_7" [label="7: ConditinalStmt Branch \n *&0$?%__sil_tmpSIL_materialize_temp__n$4:class binary_conditional::X=&0$?%__sil_tmpSIL_materialize_temp__n$0 [line 24]\n _fun_binary_conditional::X_X(&0$?%__sil_tmpSIL_materialize_temp__n$0:class binary_conditional::X*,&0$?%__sil_tmpSIL_materialize_temp__n$4:class binary_conditional::X&) [line 24]\n *&0$?%__sil_tmpSIL_temp_conditional___n$2:class binary_conditional::X=&0$?%__sil_tmpSIL_materialize_temp__n$0 [line 24]\n " shape="box"] "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_7" -> "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_3" ; "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_8" [label="8: ConditinalStmt Branch \n _fun_binary_conditional::X_X(&0$?%__sil_tmpSIL_materialize_temp__n$0:class binary_conditional::X*,&a:class binary_conditional::X&) [line 24]\n *&0$?%__sil_tmpSIL_temp_conditional___n$2:class binary_conditional::X=&0$?%__sil_tmpSIL_materialize_temp__n$0 [line 24]\n " shape="box"] "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_8" -> "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_3" ; "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_9" [label="9: BinaryConditinalStmt Init \n _fun_binary_conditional::getX(&0$?%__sil_tmpSIL_materialize_temp__n$0:class binary_conditional::X*) [line 24]\n " shape="box"] "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_9" -> "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_4" ; "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_10" [label="10: DeclStmt \n n$5=*&0$?%__sil_tmpSIL_temp_conditional___n$2:class binary_conditional::X [line 24]\n *&0$?%__sil_tmpSIL_materialize_temp__n$0:class binary_conditional::X=n$5 [line 24]\n _fun_binary_conditional::X_X(&x:class binary_conditional::X*,&0$?%__sil_tmpSIL_materialize_temp__n$0:class binary_conditional::X&) [line 24]\n " shape="box"] "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_10" -> "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_2" ; "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_11" [label="11: DeclStmt \n _fun_binary_conditional::X_X(&a:class binary_conditional::X*) [line 23]\n " shape="box"] "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_11" -> "binaryConditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional17binary.fbe77a1486fa9434c8115e47bd6288d7_9" ; "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_1" [label="1: Start binary_conditional::conditional\nFormals: \nLocals: x:class binary_conditional::X 0$?%__sil_tmpSIL_materialize_temp__n$0:class binary_conditional::X 0$?%__sil_tmpSIL_temp_conditional___n$1:class binary_conditional::X 0$?%__sil_tmp__temp_return_n$3:class binary_conditional::X 0$?%__sil_tmpSIL_materialize_temp__n$5:class binary_conditional::X a:class binary_conditional::X \n DECLARE_LOCALS(&return,&x,&0$?%__sil_tmpSIL_materialize_temp__n$0,&0$?%__sil_tmpSIL_temp_conditional___n$1,&0$?%__sil_tmp__temp_return_n$3,&0$?%__sil_tmpSIL_materialize_temp__n$5,&a); [line 27]\n " color=yellow style=filled] "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_1" -> "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_10" ; "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_2" [label="2: Exit binary_conditional::conditional \n " color=yellow style=filled] "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_3" [label="3: + \n " ] "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_3" -> "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_9" ; "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_4" [label="4: Call _fun_binary_conditional::X_operator_bool \n _fun_binary_conditional::getX(&0$?%__sil_tmp__temp_return_n$3:class binary_conditional::X*) [line 29]\n n$4=_fun_binary_conditional::X_operator_bool(&0$?%__sil_tmp__temp_return_n$3:class binary_conditional::X&) [line 29]\n " shape="box"] "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_4" -> "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_5" ; "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_4" -> "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_6" ; "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_5" [label="5: Prune (true branch) \n PRUNE((n$4 != 0), true); [line 29]\n " shape="invhouse"] "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_5" -> "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_7" ; "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_6" [label="6: Prune (false branch) \n PRUNE((n$4 == 0), false); [line 29]\n " shape="invhouse"] "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_6" -> "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_8" ; "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_7" [label="7: ConditinalStmt Branch \n _fun_binary_conditional::getX(&0$?%__sil_tmpSIL_materialize_temp__n$5:class binary_conditional::X*) [line 29]\n _fun_binary_conditional::X_X(&0$?%__sil_tmpSIL_materialize_temp__n$0:class binary_conditional::X*,&0$?%__sil_tmpSIL_materialize_temp__n$5:class binary_conditional::X&) [line 29]\n *&0$?%__sil_tmpSIL_temp_conditional___n$1:class binary_conditional::X=&0$?%__sil_tmpSIL_materialize_temp__n$0 [line 29]\n " shape="box"] "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_7" -> "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_3" ; "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_8" [label="8: ConditinalStmt Branch \n _fun_binary_conditional::X_X(&0$?%__sil_tmpSIL_materialize_temp__n$0:class binary_conditional::X*,&a:class binary_conditional::X&) [line 29]\n *&0$?%__sil_tmpSIL_temp_conditional___n$1:class binary_conditional::X=&0$?%__sil_tmpSIL_materialize_temp__n$0 [line 29]\n " shape="box"] "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_8" -> "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_3" ; "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_9" [label="9: DeclStmt \n n$7=*&0$?%__sil_tmpSIL_temp_conditional___n$1:class binary_conditional::X [line 29]\n *&0$?%__sil_tmpSIL_materialize_temp__n$0:class binary_conditional::X=n$7 [line 29]\n _fun_binary_conditional::X_X(&x:class binary_conditional::X*,&0$?%__sil_tmpSIL_materialize_temp__n$0:class binary_conditional::X&) [line 29]\n " shape="box"] "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_9" -> "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_2" ; "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_10" [label="10: DeclStmt \n _fun_binary_conditional::X_X(&a:class binary_conditional::X*) [line 28]\n " shape="box"] "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_10" -> "conditional#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional11conditionalE.f0da1f88499051eb098e97353567ea91_4" ; "getX#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional4getXEv.07d8d02aefbb9368ead32197f5956876_1" [label="1: Start binary_conditional::getX\nFormals: __return_param:class binary_conditional::X*\nLocals: x:class binary_conditional::X \n DECLARE_LOCALS(&return,&x); [line 16]\n " color=yellow style=filled] "getX#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional4getXEv.07d8d02aefbb9368ead32197f5956876_1" -> "getX#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional4getXEv.07d8d02aefbb9368ead32197f5956876_4" ; "getX#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional4getXEv.07d8d02aefbb9368ead32197f5956876_2" [label="2: Exit binary_conditional::getX \n " color=yellow style=filled] "getX#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional4getXEv.07d8d02aefbb9368ead32197f5956876_3" [label="3: Return Stmt \n n$0=*&__return_param:class binary_conditional::X* [line 18]\n _fun_binary_conditional::X_X(n$0:class binary_conditional::X*,&x:class binary_conditional::X&) [line 18]\n " shape="box"] "getX#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional4getXEv.07d8d02aefbb9368ead32197f5956876_3" -> "getX#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional4getXEv.07d8d02aefbb9368ead32197f5956876_2" ; "getX#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional4getXEv.07d8d02aefbb9368ead32197f5956876_4" [label="4: DeclStmt \n _fun_binary_conditional::X_X(&x:class binary_conditional::X*) [line 17]\n " shape="box"] "getX#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional4getXEv.07d8d02aefbb9368ead32197f5956876_4" -> "getX#binary_conditional#d41d8cd98f00b204e9800998ecf8427e_ZN18binary_conditional4getXEv.07d8d02aefbb9368ead32197f5956876_3" ; "X#X#binary_conditional#{_ZN18binary_conditional1XC1Ev|constexpr}.36ba3ab6d91729731dc0e6b7167cac4b_1" [label="1: Start binary_conditional::X_X\nFormals: this:class binary_conditional::X*\nLocals: \n DECLARE_LOCALS(&return); [line 12]\n " color=yellow style=filled] "X#X#binary_conditional#{_ZN18binary_conditional1XC1Ev|constexpr}.36ba3ab6d91729731dc0e6b7167cac4b_1" -> "X#X#binary_conditional#{_ZN18binary_conditional1XC1Ev|constexpr}.36ba3ab6d91729731dc0e6b7167cac4b_2" ; "X#X#binary_conditional#{_ZN18binary_conditional1XC1Ev|constexpr}.36ba3ab6d91729731dc0e6b7167cac4b_2" [label="2: Exit binary_conditional::X_X \n " color=yellow style=filled] "operator_bool#X#binary_conditional#(_ZN18binary_conditional1XcvbEv).f2edd03e5de9a5ca93d46298f568a63e_1" [label="1: Start binary_conditional::X_operator_bool\nFormals: this:class binary_conditional::X*\nLocals: \n DECLARE_LOCALS(&return); [line 13]\n " color=yellow style=filled] "operator_bool#X#binary_conditional#(_ZN18binary_conditional1XcvbEv).f2edd03e5de9a5ca93d46298f568a63e_1" -> "operator_bool#X#binary_conditional#(_ZN18binary_conditional1XcvbEv).f2edd03e5de9a5ca93d46298f568a63e_3" ; "operator_bool#X#binary_conditional#(_ZN18binary_conditional1XcvbEv).f2edd03e5de9a5ca93d46298f568a63e_2" [label="2: Exit binary_conditional::X_operator_bool \n " color=yellow style=filled] "operator_bool#X#binary_conditional#(_ZN18binary_conditional1XcvbEv).f2edd03e5de9a5ca93d46298f568a63e_3" [label="3: Return Stmt \n *&return:_Bool=1 [line 13]\n " shape="box"] "operator_bool#X#binary_conditional#(_ZN18binary_conditional1XcvbEv).f2edd03e5de9a5ca93d46298f568a63e_3" -> "operator_bool#X#binary_conditional#(_ZN18binary_conditional1XcvbEv).f2edd03e5de9a5ca93d46298f568a63e_2" ; "X#X#binary_conditional#{_ZN18binary_conditional1XC1EOS0_|constexpr}.84d2bfbde693ae615a2d6db40378f4f1_1" [label="1: Start binary_conditional::X_X\nFormals: this:class binary_conditional::X* __param_0:class binary_conditional::X&\nLocals: \n DECLARE_LOCALS(&return); [line 12]\n " color=yellow style=filled] "X#X#binary_conditional#{_ZN18binary_conditional1XC1EOS0_|constexpr}.84d2bfbde693ae615a2d6db40378f4f1_1" -> "X#X#binary_conditional#{_ZN18binary_conditional1XC1EOS0_|constexpr}.84d2bfbde693ae615a2d6db40378f4f1_2" ; "X#X#binary_conditional#{_ZN18binary_conditional1XC1EOS0_|constexpr}.84d2bfbde693ae615a2d6db40378f4f1_2" [label="2: Exit binary_conditional::X_X \n " color=yellow style=filled] "X#X#binary_conditional#{_ZN18binary_conditional1XC1ERKS0_|constexpr}.afc9850c21e976d70168418e096ce449_1" [label="1: Start binary_conditional::X_X\nFormals: this:class binary_conditional::X* __param_0:class binary_conditional::X&\nLocals: \n DECLARE_LOCALS(&return); [line 12]\n " color=yellow style=filled] "X#X#binary_conditional#{_ZN18binary_conditional1XC1ERKS0_|constexpr}.afc9850c21e976d70168418e096ce449_1" -> "X#X#binary_conditional#{_ZN18binary_conditional1XC1ERKS0_|constexpr}.afc9850c21e976d70168418e096ce449_2" ; "X#X#binary_conditional#{_ZN18binary_conditional1XC1ERKS0_|constexpr}.afc9850c21e976d70168418e096ce449_2" [label="2: Exit binary_conditional::X_X \n " color=yellow style=filled] }