/* @generated */
digraph cfg {
"dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_1" [label="1: Start dereference_ifthenelse\nFormals:  p:int*\nLocals:  0$?%__sil_tmpSIL_temp_conditional___n$0:int* y:int 0$?%__sil_tmpSIL_temp_conditional___n$5:int* 0$?%__sil_tmpSIL_temp_conditional___n$10:int* x:int \n   DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_temp_conditional___n$0,&y,&0$?%__sil_tmpSIL_temp_conditional___n$5,&0$?%__sil_tmpSIL_temp_conditional___n$10,&x); [line 10, column 1]\n " color=yellow style=filled]
	

	 "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_1" -> "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_17" ;
	 "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_1" -> "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_18" ;
"dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_2" [label="2: Exit dereference_ifthenelse \n  " color=yellow style=filled]
	

"dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_3" [label="3: + \n  " ]
	

	 "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_3" -> "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_8" ;
"dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_4" [label="4: Prune (true branch, boolean exp) \n   PRUNE(1, true); [line 16, column 5]\n " shape="invhouse"]
	

	 "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_4" -> "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_6" ;
"dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_5" [label="5: Prune (false branch, boolean exp) \n   PRUNE(!1, false); [line 16, column 5]\n " shape="invhouse"]
	

	 "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_5" -> "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_7" ;
"dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_6" [label="6:  ConditionalStmt Branch \n   n$1=*&p:int* [line 16, column 9]\n  *&0$?%__sil_tmpSIL_temp_conditional___n$0:int*=n$1 [line 16, column 5]\n " shape="box"]
	

	 "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_6" -> "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_3" ;
"dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_7" [label="7:  ConditionalStmt Branch \n   n$2=*&p:int* [line 16, column 13]\n  *&0$?%__sil_tmpSIL_temp_conditional___n$0:int*=n$2 [line 16, column 5]\n " shape="box"]
	

	 "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_7" -> "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_3" ;
"dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_8" [label="8:  UnaryOperator \n   n$3=*&0$?%__sil_tmpSIL_temp_conditional___n$0:int* [line 16, column 5]\n " shape="box"]
	

	 "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_8" -> "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_9" ;
"dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_9" [label="9:  Fallback node \n   n$4=*n$3:int [line 16, column 3]\n " shape="box"]
	

	 "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_9" -> "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_2" ;
"dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_10" [label="10: + \n  " ]
	

	 "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_10" -> "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_15" ;
"dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_11" [label="11: Prune (true branch, boolean exp) \n   PRUNE(1, true); [line 14, column 13]\n " shape="invhouse"]
	

	 "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_11" -> "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_13" ;
"dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_12" [label="12: Prune (false branch, boolean exp) \n   PRUNE(!1, false); [line 14, column 13]\n " shape="invhouse"]
	

	 "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_12" -> "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_14" ;
"dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_13" [label="13:  ConditionalStmt Branch \n   n$6=*&p:int* [line 14, column 17]\n  *&0$?%__sil_tmpSIL_temp_conditional___n$5:int*=n$6 [line 14, column 13]\n " shape="box"]
	

	 "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_13" -> "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_10" ;
"dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_14" [label="14:  ConditionalStmt Branch \n   n$7=*&p:int* [line 14, column 21]\n  *&0$?%__sil_tmpSIL_temp_conditional___n$5:int*=n$7 [line 14, column 13]\n " shape="box"]
	

	 "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_14" -> "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_10" ;
"dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_15" [label="15:  DeclStmt \n   n$8=*&0$?%__sil_tmpSIL_temp_conditional___n$5:int* [line 14, column 13]\n  n$9=*n$8:int [line 14, column 11]\n  *&y:int=n$9 [line 14, column 3]\n " shape="box"]
	

	 "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_15" -> "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_4" ;
	 "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_15" -> "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_5" ;
"dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_16" [label="16: + \n  " ]
	

	 "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_16" -> "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_21" ;
"dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_17" [label="17: Prune (true branch, boolean exp) \n   PRUNE(1, true); [line 12, column 9]\n " shape="invhouse"]
	

	 "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_17" -> "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_19" ;
"dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_18" [label="18: Prune (false branch, boolean exp) \n   PRUNE(!1, false); [line 12, column 9]\n " shape="invhouse"]
	

	 "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_18" -> "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_20" ;
"dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_19" [label="19:  ConditionalStmt Branch \n   n$11=*&p:int* [line 12, column 13]\n  *&0$?%__sil_tmpSIL_temp_conditional___n$10:int*=n$11 [line 12, column 9]\n " shape="box"]
	

	 "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_19" -> "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_16" ;
"dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_20" [label="20:  ConditionalStmt Branch \n   n$12=*&p:int* [line 12, column 17]\n  *&0$?%__sil_tmpSIL_temp_conditional___n$10:int*=n$12 [line 12, column 9]\n " shape="box"]
	

	 "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_20" -> "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_16" ;
"dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_21" [label="21:  BinaryOperatorStmt: Assign \n   n$13=*&0$?%__sil_tmpSIL_temp_conditional___n$10:int* [line 12, column 9]\n  n$14=*n$13:int [line 12, column 7]\n  *&x:int=n$14 [line 12, column 3]\n " shape="box"]
	

	 "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_21" -> "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_11" ;
	 "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_21" -> "dereference_ifthenelse.aa3447116ff03cffc729c06c91821cdc_12" ;
}
