pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix ObjC frontend tests

Browse Source 
Reviewed By: mbouaziz

Differential Revision: D6019519

fbshipit-source-id: 703e87b
master
Dino Distefano 7 years ago committed by Facebook Github Bot
parent 21c7b7dda3
commit 86bfe674ff
1 changed files with 130 additions and 214 deletions
Show Stats Download Patch File Download Diff File

344
infer/tests/codetoanalyze/objc/shared/assertions/NSAssert_example.m.dot
Unescape View File

@ -1,20 +1,20 @@
/* @generated */ /* @generated */
digraph iCFG { digraph iCFG {
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_1" [label="1: Start NSAssert_initWithRequest:\nFormals: self:NSAssert* a:NSAssert*\nLocals: 0$?%__sil_tmpSIL_temp_conditional___n$19:int 0$?%__sil_tmpSIL_temp_conditional___n$27:NSString* __assert_file__:NSString* \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_temp_conditional___n$19,&0$?%__sil_tmpSIL_temp_conditional___n$27,&__assert_file__); [line 23, column 1]\n " color=yellow style=filled] "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_1" [label="1: Start NSAssert_initWithRequest:\nFormals: self:NSAssert* a:NSAssert*\nLocals: 0$?%__sil_tmpSIL_temp_conditional___n$23:NSString* __assert_file__:NSString* \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_temp_conditional___n$23,&__assert_file__); [line 23, column 1]\n " color=yellow style=filled]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_1" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_4" ; "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_1" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_4" ;
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_2" [label="2: Exit NSAssert_initWithRequest: \n " color=yellow style=filled] "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_2" [label="2: Exit NSAssert_initWithRequest: \n " color=yellow style=filled]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_3" [label="3: Return Stmt \n n$17=*&a:NSAssert* [line 25, column 10]\n n$18=_fun_NSAssert_x(n$17:NSAssert*) [line 25, column 12]\n *&return:int=n$18 [line 25, column 3]\n " shape="box"] "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_3" [label="3: Return Stmt \n n$15=*&a:NSAssert* [line 25, column 10]\n n$16=_fun_NSAssert_x(n$15:NSAssert*) [line 25, column 12]\n *&return:int=n$16 [line 25, column 3]\n " shape="box"]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_3" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_2" ; "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_3" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_2" ;
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_4" [label="4: + \n " ] "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_4" [label="4: + \n " ]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_4" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_9" ; "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_4" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_8" ;
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_5" [label="5: Prune (true branch) \n PRUNE(0, true); [line 24, column 3]\n " shape="invhouse"] "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_5" [label="5: Prune (true branch) \n PRUNE(0, true); [line 24, column 3]\n " shape="invhouse"]
@ -28,74 +28,53 @@ digraph iCFG {
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_7" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_5" ; "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_7" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_5" ;
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_7" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_6" ; "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_7" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_6" ;
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_8" [label="8: + \n " ] "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_8" [label="8: BinaryOperatorStmt: NE \n n$17=*&a:NSAssert* [line 24, column 3]\n " shape="box"]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_8" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_14" ; "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_8" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_9" ;
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_8" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_15" ; "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_8" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_10" ;
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_9" [label="9: BinaryOperatorStmt: NE \n n$20=*&a:NSAssert* [line 24, column 3]\n " shape="box"] "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_9" [label="9: Prune (true branch) \n PRUNE(!(n$17 != null), true); [line 24, column 3]\n " shape="invhouse"]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_9" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_10" ; "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_9" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_18" ;
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_9" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_11" ; "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_10" [label="10: Prune (false branch) \n PRUNE((n$17 != null), false); [line 24, column 3]\n " shape="invhouse"]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_10" [label="10: Prune (true branch) \n PRUNE((n$20 != null), true); [line 24, column 3]\n " shape="invhouse"]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_10" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_12" ; "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_10" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_7" ;
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_11" [label="11: Prune (false branch) \n PRUNE(!(n$20 != null), false); [line 24, column 3]\n " shape="invhouse"] "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_11" [label="11: Prune (true branch) \n PRUNE(0, true); [line 24, column 3]\n " shape="invhouse"]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_11" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_13" ; "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_11" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_7" ;
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_12" [label="12: ConditinalStmt Branch \n *&0$?%__sil_tmpSIL_temp_conditional___n$19:int=0 [line 24, column 3]\n " shape="box"] "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_12" [label="12: + \n " ]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_12" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_8" ; "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_12" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_17" ;
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_13" [label="13: ConditinalStmt Branch \n *&0$?%__sil_tmpSIL_temp_conditional___n$19:int=1 [line 24, column 3]\n " shape="box"] "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_13" [label="13: Prune (true branch) \n n$24=*&__assert_file__:NSString* [line 24, column 3]\n PRUNE(n$24, true); [line 24, column 3]\n " shape="invhouse"]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_13" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_8" ; "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_13" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_15" ;
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_14" [label="14: Prune (true branch) \n n$21=*&0$?%__sil_tmpSIL_temp_conditional___n$19:int [line 24, column 3]\n PRUNE(n$21, true); [line 24, column 3]\n " shape="invhouse"] "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_14" [label="14: Prune (false branch) \n n$24=*&__assert_file__:NSString* [line 24, column 3]\n PRUNE(!n$24, false); [line 24, column 3]\n " shape="invhouse"]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_14" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_23" ; "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_14" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_16" ;
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_15" [label="15: Prune (false branch) \n n$21=*&0$?%__sil_tmpSIL_temp_conditional___n$19:int [line 24, column 3]\n PRUNE(!n$21, false); [line 24, column 3]\n " shape="invhouse"] "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_15" [label="15: ConditinalStmt Branch \n n$25=*&__assert_file__:NSString* [line 24, column 3]\n *&0$?%__sil_tmpSIL_temp_conditional___n$23:NSString*=n$25 [line 24, column 3]\n " shape="box"]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_15" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_7" ; "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_15" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_12" ;
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_16" [label="16: Prune (true branch) \n PRUNE(0, true); [line 24, column 3]\n " shape="invhouse"] "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_16" [label="16: ConditinalStmt Branch \n n$26=_fun_NSString_stringWithUTF8String:(\"<Unknown File>\":char* const ) [line 24, column 3]\n *&0$?%__sil_tmpSIL_temp_conditional___n$23:NSString*=n$26 [line 24, column 3]\n " shape="box"]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_16" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_7" ; "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_16" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_12" ;
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_17" [label="17: + \n " ] "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_17" [label="17: BinaryOperatorStmt: Assign \n n$27=*&0$?%__sil_tmpSIL_temp_conditional___n$23:NSString* [line 24, column 3]\n _fun___objc_retain(n$27:NSString*) [line 24, column 3]\n n$28=*&__assert_file__:NSString* [line 24, column 3]\n *&__assert_file__:NSString*=n$27 [line 24, column 3]\n _fun___objc_release(n$28:NSString*) [line 24, column 3]\n " shape="box"]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_17" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_22" ; "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_17" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_11" ;
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_18" [label="18: Prune (true branch) \n n$28=*&__assert_file__:NSString* [line 24, column 3]\n PRUNE(n$28, true); [line 24, column 3]\n " shape="invhouse"] "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_18" [label="18: DeclStmt \n n$29=_fun_NSString_stringWithUTF8String:(\"../shared/assertions/NSAssert_example.m\":char const *) [line 24, column 3]\n _fun___objc_retain(n$29:NSString*) [line 24, column 3]\n *&__assert_file__:NSString*=n$29 [line 24, column 3]\n " shape="box"]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_18" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_20" ; "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_18" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_13" ;
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_19" [label="19: Prune (false branch) \n n$28=*&__assert_file__:NSString* [line 24, column 3]\n PRUNE(!n$28, false); [line 24, column 3]\n " shape="invhouse"] "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_18" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_14" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_1" [label="1: Start NSAssert_addTarget:\nFormals: self:NSAssert* target:NSAssert*\nLocals: 0$?%__sil_tmpSIL_temp_conditional___n$8:NSString* __assert_file__:NSString* \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_temp_conditional___n$8,&__assert_file__); [line 18, column 1]\n " color=yellow style=filled]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_19" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_21" ;
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_20" [label="20: ConditinalStmt Branch \n n$29=*&__assert_file__:NSString* [line 24, column 3]\n *&0$?%__sil_tmpSIL_temp_conditional___n$27:NSString*=n$29 [line 24, column 3]\n " shape="box"]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_20" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_17" ;
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_21" [label="21: ConditinalStmt Branch \n n$30=_fun_NSString_stringWithUTF8String:(\"<Unknown File>\":char* const ) [line 24, column 3]\n *&0$?%__sil_tmpSIL_temp_conditional___n$27:NSString*=n$30 [line 24, column 3]\n " shape="box"]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_21" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_17" ;
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_22" [label="22: BinaryOperatorStmt: Assign \n n$31=*&0$?%__sil_tmpSIL_temp_conditional___n$27:NSString* [line 24, column 3]\n _fun___objc_retain(n$31:NSString*) [line 24, column 3]\n n$32=*&__assert_file__:NSString* [line 24, column 3]\n *&__assert_file__:NSString*=n$31 [line 24, column 3]\n _fun___objc_release(n$32:NSString*) [line 24, column 3]\n " shape="box"]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_22" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_16" ;
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_23" [label="23: DeclStmt \n n$33=_fun_NSString_stringWithUTF8String:(\"../shared/assertions/NSAssert_example.m\":char const *) [line 24, column 3]\n _fun___objc_retain(n$33:NSString*) [line 24, column 3]\n *&__assert_file__:NSString*=n$33 [line 24, column 3]\n " shape="box"]
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_23" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_18" ;
"initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_23" -> "initWithRequest:#NSAssert#instance.aa6bdc90db5d0e020b6778cefe9a011f_19" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_1" [label="1: Start NSAssert_addTarget:\nFormals: self:NSAssert* target:NSAssert*\nLocals: 0$?%__sil_tmpSIL_temp_conditional___n$2:int 0$?%__sil_tmpSIL_temp_conditional___n$10:NSString* __assert_file__:NSString* \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_temp_conditional___n$2,&0$?%__sil_tmpSIL_temp_conditional___n$10,&__assert_file__); [line 18, column 1]\n " color=yellow style=filled]
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_1" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_4" ; "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_1" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_4" ;
@ -109,7 +88,7 @@ digraph iCFG {
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_4" [label="4: + \n " ] "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_4" [label="4: + \n " ]
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_4" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_9" ; "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_4" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_8" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_5" [label="5: Prune (true branch) \n PRUNE(0, true); [line 19, column 3]\n " shape="invhouse"] "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_5" [label="5: Prune (true branch) \n PRUNE(0, true); [line 19, column 3]\n " shape="invhouse"]
@ -123,74 +102,53 @@ digraph iCFG {
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_7" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_5" ; "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_7" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_5" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_7" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_6" ; "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_7" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_6" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_8" [label="8: + \n " ] "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_8" [label="8: BinaryOperatorStmt: NE \n n$2=*&target:NSAssert* [line 19, column 3]\n " shape="box"]
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_8" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_14" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_8" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_15" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_9" [label="9: BinaryOperatorStmt: NE \n n$3=*&target:NSAssert* [line 19, column 3]\n " shape="box"]
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_9" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_10" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_9" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_11" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_10" [label="10: Prune (true branch) \n PRUNE((n$3 != null), true); [line 19, column 3]\n " shape="invhouse"]
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_10" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_12" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_11" [label="11: Prune (false branch) \n PRUNE(!(n$3 != null), false); [line 19, column 3]\n " shape="invhouse"]
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_11" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_13" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_12" [label="12: ConditinalStmt Branch \n *&0$?%__sil_tmpSIL_temp_conditional___n$2:int=0 [line 19, column 3]\n " shape="box"]
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_12" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_8" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_13" [label="13: ConditinalStmt Branch \n *&0$?%__sil_tmpSIL_temp_conditional___n$2:int=1 [line 19, column 3]\n " shape="box"]
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_13" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_8" ; "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_8" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_9" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_14" [label="14: Prune (true branch) \n n$4=*&0$?%__sil_tmpSIL_temp_conditional___n$2:int [line 19, column 3]\n PRUNE(n$4, true); [line 19, column 3]\n " shape="invhouse"] "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_8" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_10" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_9" [label="9: Prune (true branch) \n PRUNE(!(n$2 != null), true); [line 19, column 3]\n " shape="invhouse"]
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_14" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_23" ; "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_9" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_18" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_15" [label="15: Prune (false branch) \n n$4=*&0$?%__sil_tmpSIL_temp_conditional___n$2:int [line 19, column 3]\n PRUNE(!n$4, false); [line 19, column 3]\n " shape="invhouse"] "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_10" [label="10: Prune (false branch) \n PRUNE((n$2 != null), false); [line 19, column 3]\n " shape="invhouse"]
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_15" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_7" ; "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_10" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_7" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_16" [label="16: Prune (true branch) \n PRUNE(0, true); [line 19, column 3]\n " shape="invhouse"] "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_11" [label="11: Prune (true branch) \n PRUNE(0, true); [line 19, column 3]\n " shape="invhouse"]
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_16" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_7" ; "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_11" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_7" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_17" [label="17: + \n " ] "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_12" [label="12: + \n " ]
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_17" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_22" ; "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_12" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_17" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_18" [label="18: Prune (true branch) \n n$11=*&__assert_file__:NSString* [line 19, column 3]\n PRUNE(n$11, true); [line 19, column 3]\n " shape="invhouse"] "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_13" [label="13: Prune (true branch) \n n$9=*&__assert_file__:NSString* [line 19, column 3]\n PRUNE(n$9, true); [line 19, column 3]\n " shape="invhouse"]
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_18" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_20" ; "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_13" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_15" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_19" [label="19: Prune (false branch) \n n$11=*&__assert_file__:NSString* [line 19, column 3]\n PRUNE(!n$11, false); [line 19, column 3]\n " shape="invhouse"] "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_14" [label="14: Prune (false branch) \n n$9=*&__assert_file__:NSString* [line 19, column 3]\n PRUNE(!n$9, false); [line 19, column 3]\n " shape="invhouse"]
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_19" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_21" ; "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_14" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_16" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_20" [label="20: ConditinalStmt Branch \n n$12=*&__assert_file__:NSString* [line 19, column 3]\n *&0$?%__sil_tmpSIL_temp_conditional___n$10:NSString*=n$12 [line 19, column 3]\n " shape="box"] "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_15" [label="15: ConditinalStmt Branch \n n$10=*&__assert_file__:NSString* [line 19, column 3]\n *&0$?%__sil_tmpSIL_temp_conditional___n$8:NSString*=n$10 [line 19, column 3]\n " shape="box"]
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_20" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_17" ; "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_15" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_12" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_21" [label="21: ConditinalStmt Branch \n n$13=_fun_NSString_stringWithUTF8String:(\"<Unknown File>\":char* const ) [line 19, column 3]\n *&0$?%__sil_tmpSIL_temp_conditional___n$10:NSString*=n$13 [line 19, column 3]\n " shape="box"] "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_16" [label="16: ConditinalStmt Branch \n n$11=_fun_NSString_stringWithUTF8String:(\"<Unknown File>\":char* const ) [line 19, column 3]\n *&0$?%__sil_tmpSIL_temp_conditional___n$8:NSString*=n$11 [line 19, column 3]\n " shape="box"]
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_21" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_17" ; "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_16" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_12" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_22" [label="22: BinaryOperatorStmt: Assign \n n$14=*&0$?%__sil_tmpSIL_temp_conditional___n$10:NSString* [line 19, column 3]\n _fun___objc_retain(n$14:NSString*) [line 19, column 3]\n n$15=*&__assert_file__:NSString* [line 19, column 3]\n *&__assert_file__:NSString*=n$14 [line 19, column 3]\n _fun___objc_release(n$15:NSString*) [line 19, column 3]\n " shape="box"] "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_17" [label="17: BinaryOperatorStmt: Assign \n n$12=*&0$?%__sil_tmpSIL_temp_conditional___n$8:NSString* [line 19, column 3]\n _fun___objc_retain(n$12:NSString*) [line 19, column 3]\n n$13=*&__assert_file__:NSString* [line 19, column 3]\n *&__assert_file__:NSString*=n$12 [line 19, column 3]\n _fun___objc_release(n$13:NSString*) [line 19, column 3]\n " shape="box"]
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_22" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_16" ; "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_17" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_11" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_23" [label="23: DeclStmt \n n$16=_fun_NSString_stringWithUTF8String:(\"../shared/assertions/NSAssert_example.m\":char const *) [line 19, column 3]\n _fun___objc_retain(n$16:NSString*) [line 19, column 3]\n *&__assert_file__:NSString*=n$16 [line 19, column 3]\n " shape="box"] "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_18" [label="18: DeclStmt \n n$14=_fun_NSString_stringWithUTF8String:(\"../shared/assertions/NSAssert_example.m\":char const *) [line 19, column 3]\n _fun___objc_retain(n$14:NSString*) [line 19, column 3]\n *&__assert_file__:NSString*=n$14 [line 19, column 3]\n " shape="box"]
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_23" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_18" ; "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_18" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_13" ;
"addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_23" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_19" ; "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_18" -> "addTarget:#NSAssert#instance.69cefe4d9cf64204d99f63924a056673_14" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_1" [label="1: Start test1\nFormals: target:NSAssert*\nLocals: 0$?%__sil_tmpSIL_temp_conditional___n$2:int 0$?%__sil_tmpSIL_temp_conditional___n$9:NSString* __assert_file__:NSString* 0$?%__sil_tmpSIL_temp_conditional___n$16:NSString* __assert_fn__:NSString* \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_temp_conditional___n$2,&0$?%__sil_tmpSIL_temp_conditional___n$9,&__assert_file__,&0$?%__sil_tmpSIL_temp_conditional___n$16,&__assert_fn__); [line 30, column 1]\n " color=yellow style=filled] "test1.5a105e8b9d40e1329780d62ea2265d8a_1" [label="1: Start test1\nFormals: target:NSAssert*\nLocals: 0$?%__sil_tmpSIL_temp_conditional___n$7:NSString* __assert_file__:NSString* 0$?%__sil_tmpSIL_temp_conditional___n$14:NSString* __assert_fn__:NSString* \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_temp_conditional___n$7,&__assert_file__,&0$?%__sil_tmpSIL_temp_conditional___n$14,&__assert_fn__); [line 30, column 1]\n " color=yellow style=filled]
"test1.5a105e8b9d40e1329780d62ea2265d8a_1" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_4" ; "test1.5a105e8b9d40e1329780d62ea2265d8a_1" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_4" ;
@ -204,7 +162,7 @@ digraph iCFG {
"test1.5a105e8b9d40e1329780d62ea2265d8a_4" [label="4: + \n " ] "test1.5a105e8b9d40e1329780d62ea2265d8a_4" [label="4: + \n " ]
"test1.5a105e8b9d40e1329780d62ea2265d8a_4" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_9" ; "test1.5a105e8b9d40e1329780d62ea2265d8a_4" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_8" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_5" [label="5: Prune (true branch) \n PRUNE(0, true); [line 31, column 3]\n " shape="invhouse"] "test1.5a105e8b9d40e1329780d62ea2265d8a_5" [label="5: Prune (true branch) \n PRUNE(0, true); [line 31, column 3]\n " shape="invhouse"]
@ -218,103 +176,82 @@ digraph iCFG {
"test1.5a105e8b9d40e1329780d62ea2265d8a_7" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_5" ; "test1.5a105e8b9d40e1329780d62ea2265d8a_7" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_5" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_7" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_6" ; "test1.5a105e8b9d40e1329780d62ea2265d8a_7" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_6" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_8" [label="8: + \n " ] "test1.5a105e8b9d40e1329780d62ea2265d8a_8" [label="8: BinaryOperatorStmt: NE \n n$2=*&target:NSAssert* [line 31, column 3]\n " shape="box"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_8" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_14" ; "test1.5a105e8b9d40e1329780d62ea2265d8a_8" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_9" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_8" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_15" ; "test1.5a105e8b9d40e1329780d62ea2265d8a_8" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_10" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_9" [label="9: BinaryOperatorStmt: NE \n n$3=*&target:NSAssert* [line 31, column 3]\n " shape="box"] "test1.5a105e8b9d40e1329780d62ea2265d8a_9" [label="9: Prune (true branch) \n PRUNE(!(n$2 != null), true); [line 31, column 3]\n " shape="invhouse"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_9" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_10" ; "test1.5a105e8b9d40e1329780d62ea2265d8a_9" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_25" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_9" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_11" ; "test1.5a105e8b9d40e1329780d62ea2265d8a_10" [label="10: Prune (false branch) \n PRUNE((n$2 != null), false); [line 31, column 3]\n " shape="invhouse"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_10" [label="10: Prune (true branch) \n PRUNE((n$3 != null), true); [line 31, column 3]\n " shape="invhouse"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_10" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_12" ; "test1.5a105e8b9d40e1329780d62ea2265d8a_10" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_7" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_11" [label="11: Prune (false branch) \n PRUNE(!(n$3 != null), false); [line 31, column 3]\n " shape="invhouse"] "test1.5a105e8b9d40e1329780d62ea2265d8a_11" [label="11: Prune (true branch) \n PRUNE(0, true); [line 31, column 3]\n " shape="invhouse"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_11" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_13" ; "test1.5a105e8b9d40e1329780d62ea2265d8a_11" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_7" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_12" [label="12: ConditinalStmt Branch \n *&0$?%__sil_tmpSIL_temp_conditional___n$2:int=0 [line 31, column 3]\n " shape="box"] "test1.5a105e8b9d40e1329780d62ea2265d8a_12" [label="12: + \n " ]
"test1.5a105e8b9d40e1329780d62ea2265d8a_12" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_8" ; "test1.5a105e8b9d40e1329780d62ea2265d8a_12" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_17" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_13" [label="13: ConditinalStmt Branch \n *&0$?%__sil_tmpSIL_temp_conditional___n$2:int=1 [line 31, column 3]\n " shape="box"] "test1.5a105e8b9d40e1329780d62ea2265d8a_13" [label="13: Prune (true branch) \n n$8=*&__assert_file__:NSString* [line 31, column 3]\n PRUNE(n$8, true); [line 31, column 3]\n " shape="invhouse"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_13" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_8" ; "test1.5a105e8b9d40e1329780d62ea2265d8a_13" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_15" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_14" [label="14: Prune (true branch) \n n$4=*&0$?%__sil_tmpSIL_temp_conditional___n$2:int [line 31, column 3]\n PRUNE(n$4, true); [line 31, column 3]\n " shape="invhouse"] "test1.5a105e8b9d40e1329780d62ea2265d8a_14" [label="14: Prune (false branch) \n n$8=*&__assert_file__:NSString* [line 31, column 3]\n PRUNE(!n$8, false); [line 31, column 3]\n " shape="invhouse"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_14" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_30" ; "test1.5a105e8b9d40e1329780d62ea2265d8a_14" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_16" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_15" [label="15: Prune (false branch) \n n$4=*&0$?%__sil_tmpSIL_temp_conditional___n$2:int [line 31, column 3]\n PRUNE(!n$4, false); [line 31, column 3]\n " shape="invhouse"] "test1.5a105e8b9d40e1329780d62ea2265d8a_15" [label="15: ConditinalStmt Branch \n n$9=*&__assert_file__:NSString* [line 31, column 3]\n *&0$?%__sil_tmpSIL_temp_conditional___n$7:NSString*=n$9 [line 31, column 3]\n " shape="box"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_15" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_7" ; "test1.5a105e8b9d40e1329780d62ea2265d8a_15" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_12" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_16" [label="16: Prune (true branch) \n PRUNE(0, true); [line 31, column 3]\n " shape="invhouse"] "test1.5a105e8b9d40e1329780d62ea2265d8a_16" [label="16: ConditinalStmt Branch \n n$10=_fun_NSString_stringWithUTF8String:(\"<Unknown File>\":char* const ) [line 31, column 3]\n *&0$?%__sil_tmpSIL_temp_conditional___n$7:NSString*=n$10 [line 31, column 3]\n " shape="box"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_16" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_7" ; "test1.5a105e8b9d40e1329780d62ea2265d8a_16" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_12" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_17" [label="17: + \n " ] "test1.5a105e8b9d40e1329780d62ea2265d8a_17" [label="17: BinaryOperatorStmt: Assign \n n$11=*&0$?%__sil_tmpSIL_temp_conditional___n$7:NSString* [line 31, column 3]\n _fun___objc_retain(n$11:NSString*) [line 31, column 3]\n n$12=*&__assert_file__:NSString* [line 31, column 3]\n *&__assert_file__:NSString*=n$11 [line 31, column 3]\n _fun___objc_release(n$12:NSString*) [line 31, column 3]\n " shape="box"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_17" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_22" ; "test1.5a105e8b9d40e1329780d62ea2265d8a_17" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_11" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_18" [label="18: Prune (true branch) \n n$10=*&__assert_file__:NSString* [line 31, column 3]\n PRUNE(n$10, true); [line 31, column 3]\n " shape="invhouse"] "test1.5a105e8b9d40e1329780d62ea2265d8a_18" [label="18: DeclStmt \n n$13=_fun_NSString_stringWithUTF8String:(\"../shared/assertions/NSAssert_example.m\":char const *) [line 31, column 3]\n _fun___objc_retain(n$13:NSString*) [line 31, column 3]\n *&__assert_file__:NSString*=n$13 [line 31, column 3]\n " shape="box"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_18" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_20" ; "test1.5a105e8b9d40e1329780d62ea2265d8a_18" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_13" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_19" [label="19: Prune (false branch) \n n$10=*&__assert_file__:NSString* [line 31, column 3]\n PRUNE(!n$10, false); [line 31, column 3]\n " shape="invhouse"] "test1.5a105e8b9d40e1329780d62ea2265d8a_18" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_14" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_19" [label="19: + \n " ]
"test1.5a105e8b9d40e1329780d62ea2265d8a_19" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_21" ; "test1.5a105e8b9d40e1329780d62ea2265d8a_19" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_24" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_20" [label="20: ConditinalStmt Branch \n n$11=*&__assert_file__:NSString* [line 31, column 3]\n *&0$?%__sil_tmpSIL_temp_conditional___n$9:NSString*=n$11 [line 31, column 3]\n " shape="box"] "test1.5a105e8b9d40e1329780d62ea2265d8a_20" [label="20: Prune (true branch) \n n$15=*&__assert_fn__:NSString* [line 31, column 3]\n PRUNE(n$15, true); [line 31, column 3]\n " shape="invhouse"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_20" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_17" ; "test1.5a105e8b9d40e1329780d62ea2265d8a_20" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_22" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_21" [label="21: ConditinalStmt Branch \n n$12=_fun_NSString_stringWithUTF8String:(\"<Unknown File>\":char* const ) [line 31, column 3]\n *&0$?%__sil_tmpSIL_temp_conditional___n$9:NSString*=n$12 [line 31, column 3]\n " shape="box"] "test1.5a105e8b9d40e1329780d62ea2265d8a_21" [label="21: Prune (false branch) \n n$15=*&__assert_fn__:NSString* [line 31, column 3]\n PRUNE(!n$15, false); [line 31, column 3]\n " shape="invhouse"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_21" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_17" ; "test1.5a105e8b9d40e1329780d62ea2265d8a_21" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_23" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_22" [label="22: BinaryOperatorStmt: Assign \n n$13=*&0$?%__sil_tmpSIL_temp_conditional___n$9:NSString* [line 31, column 3]\n _fun___objc_retain(n$13:NSString*) [line 31, column 3]\n n$14=*&__assert_file__:NSString* [line 31, column 3]\n *&__assert_file__:NSString*=n$13 [line 31, column 3]\n _fun___objc_release(n$14:NSString*) [line 31, column 3]\n " shape="box"] "test1.5a105e8b9d40e1329780d62ea2265d8a_22" [label="22: ConditinalStmt Branch \n n$16=*&__assert_fn__:NSString* [line 31, column 3]\n *&0$?%__sil_tmpSIL_temp_conditional___n$14:NSString*=n$16 [line 31, column 3]\n " shape="box"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_22" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_16" ; "test1.5a105e8b9d40e1329780d62ea2265d8a_22" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_19" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_23" [label="23: DeclStmt \n n$15=_fun_NSString_stringWithUTF8String:(\"../shared/assertions/NSAssert_example.m\":char const *) [line 31, column 3]\n _fun___objc_retain(n$15:NSString*) [line 31, column 3]\n *&__assert_file__:NSString*=n$15 [line 31, column 3]\n " shape="box"] "test1.5a105e8b9d40e1329780d62ea2265d8a_23" [label="23: ConditinalStmt Branch \n n$17=_fun_NSString_stringWithUTF8String:(\"<Unknown Function>\":char* const ) [line 31, column 3]\n *&0$?%__sil_tmpSIL_temp_conditional___n$14:NSString*=n$17 [line 31, column 3]\n " shape="box"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_23" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_18" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_23" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_19" ; "test1.5a105e8b9d40e1329780d62ea2265d8a_23" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_19" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_24" [label="24: + \n " ] "test1.5a105e8b9d40e1329780d62ea2265d8a_24" [label="24: BinaryOperatorStmt: Assign \n n$18=*&0$?%__sil_tmpSIL_temp_conditional___n$14:NSString* [line 31, column 3]\n _fun___objc_retain(n$18:NSString*) [line 31, column 3]\n n$19=*&__assert_fn__:NSString* [line 31, column 3]\n *&__assert_fn__:NSString*=n$18 [line 31, column 3]\n _fun___objc_release(n$19:NSString*) [line 31, column 3]\n " shape="box"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_24" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_29" ; "test1.5a105e8b9d40e1329780d62ea2265d8a_24" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_18" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_25" [label="25: Prune (true branch) \n n$17=*&__assert_fn__:NSString* [line 31, column 3]\n PRUNE(n$17, true); [line 31, column 3]\n " shape="invhouse"] "test1.5a105e8b9d40e1329780d62ea2265d8a_25" [label="25: DeclStmt \n n$20=_fun_NSString_stringWithUTF8String:(\"\":char const *) [line 31, column 3]\n _fun___objc_retain(n$20:NSString*) [line 31, column 3]\n *&__assert_fn__:NSString*=n$20 [line 31, column 3]\n " shape="box"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_25" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_27" ; "test1.5a105e8b9d40e1329780d62ea2265d8a_25" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_20" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_26" [label="26: Prune (false branch) \n n$17=*&__assert_fn__:NSString* [line 31, column 3]\n PRUNE(!n$17, false); [line 31, column 3]\n " shape="invhouse"] "test1.5a105e8b9d40e1329780d62ea2265d8a_25" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_21" ;
"test2.ad0234829205b9033196ba818f7a872b_1" [label="1: Start test2\nFormals: target:NSAssert*\nLocals: 0$?%__sil_tmpSIL_temp_conditional___n$8:NSString* __assert_file__:NSString* 0$?%__sil_tmpSIL_temp_conditional___n$15:NSString* __assert_fn__:NSString* \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_temp_conditional___n$8,&__assert_file__,&0$?%__sil_tmpSIL_temp_conditional___n$15,&__assert_fn__); [line 35, column 1]\n " color=yellow style=filled]
"test1.5a105e8b9d40e1329780d62ea2265d8a_26" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_28" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_27" [label="27: ConditinalStmt Branch \n n$18=*&__assert_fn__:NSString* [line 31, column 3]\n *&0$?%__sil_tmpSIL_temp_conditional___n$16:NSString*=n$18 [line 31, column 3]\n " shape="box"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_27" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_24" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_28" [label="28: ConditinalStmt Branch \n n$19=_fun_NSString_stringWithUTF8String:(\"<Unknown Function>\":char* const ) [line 31, column 3]\n *&0$?%__sil_tmpSIL_temp_conditional___n$16:NSString*=n$19 [line 31, column 3]\n " shape="box"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_28" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_24" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_29" [label="29: BinaryOperatorStmt: Assign \n n$20=*&0$?%__sil_tmpSIL_temp_conditional___n$16:NSString* [line 31, column 3]\n _fun___objc_retain(n$20:NSString*) [line 31, column 3]\n n$21=*&__assert_fn__:NSString* [line 31, column 3]\n *&__assert_fn__:NSString*=n$20 [line 31, column 3]\n _fun___objc_release(n$21:NSString*) [line 31, column 3]\n " shape="box"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_29" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_23" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_30" [label="30: DeclStmt \n n$22=_fun_NSString_stringWithUTF8String:(\"\":char const *) [line 31, column 3]\n _fun___objc_retain(n$22:NSString*) [line 31, column 3]\n *&__assert_fn__:NSString*=n$22 [line 31, column 3]\n " shape="box"]
"test1.5a105e8b9d40e1329780d62ea2265d8a_30" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_25" ;
"test1.5a105e8b9d40e1329780d62ea2265d8a_30" -> "test1.5a105e8b9d40e1329780d62ea2265d8a_26" ;
"test2.ad0234829205b9033196ba818f7a872b_1" [label="1: Start test2\nFormals: target:NSAssert*\nLocals: 0$?%__sil_tmpSIL_temp_conditional___n$2:int 0$?%__sil_tmpSIL_temp_conditional___n$10:NSString* __assert_file__:NSString* 0$?%__sil_tmpSIL_temp_conditional___n$17:NSString* __assert_fn__:NSString* \n DECLARE_LOCALS(&return,&0$?%__sil_tmpSIL_temp_conditional___n$2,&0$?%__sil_tmpSIL_temp_conditional___n$10,&__assert_file__,&0$?%__sil_tmpSIL_temp_conditional___n$17,&__assert_fn__); [line 35, column 1]\n " color=yellow style=filled]
"test2.ad0234829205b9033196ba818f7a872b_1" -> "test2.ad0234829205b9033196ba818f7a872b_4" ; "test2.ad0234829205b9033196ba818f7a872b_1" -> "test2.ad0234829205b9033196ba818f7a872b_4" ;
@ -328,8 +265,8 @@ digraph iCFG {
"test2.ad0234829205b9033196ba818f7a872b_4" [label="4: + \n " ] "test2.ad0234829205b9033196ba818f7a872b_4" [label="4: + \n " ]
"test2.ad0234829205b9033196ba818f7a872b_4" -> "test2.ad0234829205b9033196ba818f7a872b_8" ;
"test2.ad0234829205b9033196ba818f7a872b_4" -> "test2.ad0234829205b9033196ba818f7a872b_9" ; "test2.ad0234829205b9033196ba818f7a872b_4" -> "test2.ad0234829205b9033196ba818f7a872b_9" ;
"test2.ad0234829205b9033196ba818f7a872b_4" -> "test2.ad0234829205b9033196ba818f7a872b_10" ;
"test2.ad0234829205b9033196ba818f7a872b_5" [label="5: Prune (true branch) \n PRUNE(0, true); [line 36, column 3]\n " shape="invhouse"] "test2.ad0234829205b9033196ba818f7a872b_5" [label="5: Prune (true branch) \n PRUNE(0, true); [line 36, column 3]\n " shape="invhouse"]
@ -343,95 +280,74 @@ digraph iCFG {
"test2.ad0234829205b9033196ba818f7a872b_7" -> "test2.ad0234829205b9033196ba818f7a872b_5" ; "test2.ad0234829205b9033196ba818f7a872b_7" -> "test2.ad0234829205b9033196ba818f7a872b_5" ;
"test2.ad0234829205b9033196ba818f7a872b_7" -> "test2.ad0234829205b9033196ba818f7a872b_6" ; "test2.ad0234829205b9033196ba818f7a872b_7" -> "test2.ad0234829205b9033196ba818f7a872b_6" ;
"test2.ad0234829205b9033196ba818f7a872b_8" [label="8: + \n " ] "test2.ad0234829205b9033196ba818f7a872b_8" [label="8: Prune (true branch) \n n$2=*&target:NSAssert* [line 36, column 3]\n PRUNE(!n$2, true); [line 36, column 3]\n " shape="invhouse"]
"test2.ad0234829205b9033196ba818f7a872b_8" -> "test2.ad0234829205b9033196ba818f7a872b_13" ; "test2.ad0234829205b9033196ba818f7a872b_8" -> "test2.ad0234829205b9033196ba818f7a872b_24" ;
"test2.ad0234829205b9033196ba818f7a872b_8" -> "test2.ad0234829205b9033196ba818f7a872b_14" ; "test2.ad0234829205b9033196ba818f7a872b_9" [label="9: Prune (false branch) \n n$2=*&target:NSAssert* [line 36, column 3]\n PRUNE(n$2, false); [line 36, column 3]\n " shape="invhouse"]
"test2.ad0234829205b9033196ba818f7a872b_9" [label="9: Prune (true branch) \n n$3=*&target:NSAssert* [line 36, column 3]\n PRUNE(n$3, true); [line 36, column 3]\n " shape="invhouse"]
"test2.ad0234829205b9033196ba818f7a872b_9" -> "test2.ad0234829205b9033196ba818f7a872b_11" ; "test2.ad0234829205b9033196ba818f7a872b_9" -> "test2.ad0234829205b9033196ba818f7a872b_7" ;
"test2.ad0234829205b9033196ba818f7a872b_10" [label="10: Prune (false branch) \n n$3=*&target:NSAssert* [line 36, column 3]\n PRUNE(!n$3, false); [line 36, column 3]\n " shape="invhouse"] "test2.ad0234829205b9033196ba818f7a872b_10" [label="10: Prune (true branch) \n PRUNE(0, true); [line 36, column 3]\n " shape="invhouse"]
"test2.ad0234829205b9033196ba818f7a872b_10" -> "test2.ad0234829205b9033196ba818f7a872b_12" ; "test2.ad0234829205b9033196ba818f7a872b_10" -> "test2.ad0234829205b9033196ba818f7a872b_7" ;
"test2.ad0234829205b9033196ba818f7a872b_11" [label="11: ConditinalStmt Branch \n *&0$?%__sil_tmpSIL_temp_conditional___n$2:int=0 [line 36, column 3]\n " shape="box"] "test2.ad0234829205b9033196ba818f7a872b_11" [label="11: + \n " ]
"test2.ad0234829205b9033196ba818f7a872b_11" -> "test2.ad0234829205b9033196ba818f7a872b_8" ; "test2.ad0234829205b9033196ba818f7a872b_11" -> "test2.ad0234829205b9033196ba818f7a872b_16" ;
"test2.ad0234829205b9033196ba818f7a872b_12" [label="12: ConditinalStmt Branch \n *&0$?%__sil_tmpSIL_temp_conditional___n$2:int=1 [line 36, column 3]\n " shape="box"] "test2.ad0234829205b9033196ba818f7a872b_12" [label="12: Prune (true branch) \n n$9=*&__assert_file__:NSString* [line 36, column 3]\n PRUNE(n$9, true); [line 36, column 3]\n " shape="invhouse"]
"test2.ad0234829205b9033196ba818f7a872b_12" -> "test2.ad0234829205b9033196ba818f7a872b_8" ; "test2.ad0234829205b9033196ba818f7a872b_12" -> "test2.ad0234829205b9033196ba818f7a872b_14" ;
"test2.ad0234829205b9033196ba818f7a872b_13" [label="13: Prune (true branch) \n n$4=*&0$?%__sil_tmpSIL_temp_conditional___n$2:int [line 36, column 3]\n PRUNE(n$4, true); [line 36, column 3]\n " shape="invhouse"] "test2.ad0234829205b9033196ba818f7a872b_13" [label="13: Prune (false branch) \n n$9=*&__assert_file__:NSString* [line 36, column 3]\n PRUNE(!n$9, false); [line 36, column 3]\n " shape="invhouse"]
"test2.ad0234829205b9033196ba818f7a872b_13" -> "test2.ad0234829205b9033196ba818f7a872b_29" ; "test2.ad0234829205b9033196ba818f7a872b_13" -> "test2.ad0234829205b9033196ba818f7a872b_15" ;
"test2.ad0234829205b9033196ba818f7a872b_14" [label="14: Prune (false branch) \n n$4=*&0$?%__sil_tmpSIL_temp_conditional___n$2:int [line 36, column 3]\n PRUNE(!n$4, false); [line 36, column 3]\n " shape="invhouse"] "test2.ad0234829205b9033196ba818f7a872b_14" [label="14: ConditinalStmt Branch \n n$10=*&__assert_file__:NSString* [line 36, column 3]\n *&0$?%__sil_tmpSIL_temp_conditional___n$8:NSString*=n$10 [line 36, column 3]\n " shape="box"]
"test2.ad0234829205b9033196ba818f7a872b_14" -> "test2.ad0234829205b9033196ba818f7a872b_7" ; "test2.ad0234829205b9033196ba818f7a872b_14" -> "test2.ad0234829205b9033196ba818f7a872b_11" ;
"test2.ad0234829205b9033196ba818f7a872b_15" [label="15: Prune (true branch) \n PRUNE(0, true); [line 36, column 3]\n " shape="invhouse"] "test2.ad0234829205b9033196ba818f7a872b_15" [label="15: ConditinalStmt Branch \n n$11=_fun_NSString_stringWithUTF8String:(\"<Unknown File>\":char* const ) [line 36, column 3]\n *&0$?%__sil_tmpSIL_temp_conditional___n$8:NSString*=n$11 [line 36, column 3]\n " shape="box"]
"test2.ad0234829205b9033196ba818f7a872b_15" -> "test2.ad0234829205b9033196ba818f7a872b_7" ; "test2.ad0234829205b9033196ba818f7a872b_15" -> "test2.ad0234829205b9033196ba818f7a872b_11" ;
"test2.ad0234829205b9033196ba818f7a872b_16" [label="16: + \n " ] "test2.ad0234829205b9033196ba818f7a872b_16" [label="16: BinaryOperatorStmt: Assign \n n$12=*&0$?%__sil_tmpSIL_temp_conditional___n$8:NSString* [line 36, column 3]\n _fun___objc_retain(n$12:NSString*) [line 36, column 3]\n n$13=*&__assert_file__:NSString* [line 36, column 3]\n *&__assert_file__:NSString*=n$12 [line 36, column 3]\n _fun___objc_release(n$13:NSString*) [line 36, column 3]\n " shape="box"]
"test2.ad0234829205b9033196ba818f7a872b_16" -> "test2.ad0234829205b9033196ba818f7a872b_21" ; "test2.ad0234829205b9033196ba818f7a872b_16" -> "test2.ad0234829205b9033196ba818f7a872b_10" ;
"test2.ad0234829205b9033196ba818f7a872b_17" [label="17: Prune (true branch) \n n$11=*&__assert_file__:NSString* [line 36, column 3]\n PRUNE(n$11, true); [line 36, column 3]\n " shape="invhouse"] "test2.ad0234829205b9033196ba818f7a872b_17" [label="17: DeclStmt \n n$14=_fun_NSString_stringWithUTF8String:(\"../shared/assertions/NSAssert_example.m\":char const *) [line 36, column 3]\n _fun___objc_retain(n$14:NSString*) [line 36, column 3]\n *&__assert_file__:NSString*=n$14 [line 36, column 3]\n " shape="box"]
"test2.ad0234829205b9033196ba818f7a872b_17" -> "test2.ad0234829205b9033196ba818f7a872b_19" ; "test2.ad0234829205b9033196ba818f7a872b_17" -> "test2.ad0234829205b9033196ba818f7a872b_12" ;
"test2.ad0234829205b9033196ba818f7a872b_18" [label="18: Prune (false branch) \n n$11=*&__assert_file__:NSString* [line 36, column 3]\n PRUNE(!n$11, false); [line 36, column 3]\n " shape="invhouse"] "test2.ad0234829205b9033196ba818f7a872b_17" -> "test2.ad0234829205b9033196ba818f7a872b_13" ;
"test2.ad0234829205b9033196ba818f7a872b_18" [label="18: + \n " ]
"test2.ad0234829205b9033196ba818f7a872b_18" -> "test2.ad0234829205b9033196ba818f7a872b_20" ; "test2.ad0234829205b9033196ba818f7a872b_18" -> "test2.ad0234829205b9033196ba818f7a872b_23" ;
"test2.ad0234829205b9033196ba818f7a872b_19" [label="19: ConditinalStmt Branch \n n$12=*&__assert_file__:NSString* [line 36, column 3]\n *&0$?%__sil_tmpSIL_temp_conditional___n$10:NSString*=n$12 [line 36, column 3]\n " shape="box"] "test2.ad0234829205b9033196ba818f7a872b_19" [label="19: Prune (true branch) \n n$16=*&__assert_fn__:NSString* [line 36, column 3]\n PRUNE(n$16, true); [line 36, column 3]\n " shape="invhouse"]
"test2.ad0234829205b9033196ba818f7a872b_19" -> "test2.ad0234829205b9033196ba818f7a872b_16" ; "test2.ad0234829205b9033196ba818f7a872b_19" -> "test2.ad0234829205b9033196ba818f7a872b_21" ;
"test2.ad0234829205b9033196ba818f7a872b_20" [label="20: ConditinalStmt Branch \n n$13=_fun_NSString_stringWithUTF8String:(\"<Unknown File>\":char* const ) [line 36, column 3]\n *&0$?%__sil_tmpSIL_temp_conditional___n$10:NSString*=n$13 [line 36, column 3]\n " shape="box"] "test2.ad0234829205b9033196ba818f7a872b_20" [label="20: Prune (false branch) \n n$16=*&__assert_fn__:NSString* [line 36, column 3]\n PRUNE(!n$16, false); [line 36, column 3]\n " shape="invhouse"]
"test2.ad0234829205b9033196ba818f7a872b_20" -> "test2.ad0234829205b9033196ba818f7a872b_16" ; "test2.ad0234829205b9033196ba818f7a872b_20" -> "test2.ad0234829205b9033196ba818f7a872b_22" ;
"test2.ad0234829205b9033196ba818f7a872b_21" [label="21: BinaryOperatorStmt: Assign \n n$14=*&0$?%__sil_tmpSIL_temp_conditional___n$10:NSString* [line 36, column 3]\n _fun___objc_retain(n$14:NSString*) [line 36, column 3]\n n$15=*&__assert_file__:NSString* [line 36, column 3]\n *&__assert_file__:NSString*=n$14 [line 36, column 3]\n _fun___objc_release(n$15:NSString*) [line 36, column 3]\n " shape="box"] "test2.ad0234829205b9033196ba818f7a872b_21" [label="21: ConditinalStmt Branch \n n$17=*&__assert_fn__:NSString* [line 36, column 3]\n *&0$?%__sil_tmpSIL_temp_conditional___n$15:NSString*=n$17 [line 36, column 3]\n " shape="box"]
"test2.ad0234829205b9033196ba818f7a872b_21" -> "test2.ad0234829205b9033196ba818f7a872b_15" ; "test2.ad0234829205b9033196ba818f7a872b_21" -> "test2.ad0234829205b9033196ba818f7a872b_18" ;
"test2.ad0234829205b9033196ba818f7a872b_22" [label="22: DeclStmt \n n$16=_fun_NSString_stringWithUTF8String:(\"../shared/assertions/NSAssert_example.m\":char const *) [line 36, column 3]\n _fun___objc_retain(n$16:NSString*) [line 36, column 3]\n *&__assert_file__:NSString*=n$16 [line 36, column 3]\n " shape="box"] "test2.ad0234829205b9033196ba818f7a872b_22" [label="22: ConditinalStmt Branch \n n$18=_fun_NSString_stringWithUTF8String:(\"<Unknown Function>\":char* const ) [line 36, column 3]\n *&0$?%__sil_tmpSIL_temp_conditional___n$15:NSString*=n$18 [line 36, column 3]\n " shape="box"]
"test2.ad0234829205b9033196ba818f7a872b_22" -> "test2.ad0234829205b9033196ba818f7a872b_17" ;
"test2.ad0234829205b9033196ba818f7a872b_22" -> "test2.ad0234829205b9033196ba818f7a872b_18" ; "test2.ad0234829205b9033196ba818f7a872b_22" -> "test2.ad0234829205b9033196ba818f7a872b_18" ;
"test2.ad0234829205b9033196ba818f7a872b_23" [label="23: + \n " ] "test2.ad0234829205b9033196ba818f7a872b_23" [label="23: BinaryOperatorStmt: Assign \n n$19=*&0$?%__sil_tmpSIL_temp_conditional___n$15:NSString* [line 36, column 3]\n _fun___objc_retain(n$19:NSString*) [line 36, column 3]\n n$20=*&__assert_fn__:NSString* [line 36, column 3]\n *&__assert_fn__:NSString*=n$19 [line 36, column 3]\n _fun___objc_release(n$20:NSString*) [line 36, column 3]\n " shape="box"]
"test2.ad0234829205b9033196ba818f7a872b_23" -> "test2.ad0234829205b9033196ba818f7a872b_28" ;
"test2.ad0234829205b9033196ba818f7a872b_24" [label="24: Prune (true branch) \n n$18=*&__assert_fn__:NSString* [line 36, column 3]\n PRUNE(n$18, true); [line 36, column 3]\n " shape="invhouse"]
"test2.ad0234829205b9033196ba818f7a872b_24" -> "test2.ad0234829205b9033196ba818f7a872b_26" ;
"test2.ad0234829205b9033196ba818f7a872b_25" [label="25: Prune (false branch) \n n$18=*&__assert_fn__:NSString* [line 36, column 3]\n PRUNE(!n$18, false); [line 36, column 3]\n " shape="invhouse"]
"test2.ad0234829205b9033196ba818f7a872b_25" -> "test2.ad0234829205b9033196ba818f7a872b_27" ;
"test2.ad0234829205b9033196ba818f7a872b_26" [label="26: ConditinalStmt Branch \n n$19=*&__assert_fn__:NSString* [line 36, column 3]\n *&0$?%__sil_tmpSIL_temp_conditional___n$17:NSString*=n$19 [line 36, column 3]\n " shape="box"]
"test2.ad0234829205b9033196ba818f7a872b_26" -> "test2.ad0234829205b9033196ba818f7a872b_23" ;
"test2.ad0234829205b9033196ba818f7a872b_27" [label="27: ConditinalStmt Branch \n n$20=_fun_NSString_stringWithUTF8String:(\"<Unknown Function>\":char* const ) [line 36, column 3]\n *&0$?%__sil_tmpSIL_temp_conditional___n$17:NSString*=n$20 [line 36, column 3]\n " shape="box"]
"test2.ad0234829205b9033196ba818f7a872b_27" -> "test2.ad0234829205b9033196ba818f7a872b_23" ;
"test2.ad0234829205b9033196ba818f7a872b_28" [label="28: BinaryOperatorStmt: Assign \n n$21=*&0$?%__sil_tmpSIL_temp_conditional___n$17:NSString* [line 36, column 3]\n _fun___objc_retain(n$21:NSString*) [line 36, column 3]\n n$22=*&__assert_fn__:NSString* [line 36, column 3]\n *&__assert_fn__:NSString*=n$21 [line 36, column 3]\n _fun___objc_release(n$22:NSString*) [line 36, column 3]\n " shape="box"]
"test2.ad0234829205b9033196ba818f7a872b_28" -> "test2.ad0234829205b9033196ba818f7a872b_22" ; "test2.ad0234829205b9033196ba818f7a872b_23" -> "test2.ad0234829205b9033196ba818f7a872b_17" ;
"test2.ad0234829205b9033196ba818f7a872b_29" [label="29: DeclStmt \n n$23=_fun_NSString_stringWithUTF8String:(\"\":char const *) [line 36, column 3]\n _fun___objc_retain(n$23:NSString*) [line 36, column 3]\n *&__assert_fn__:NSString*=n$23 [line 36, column 3]\n " shape="box"] "test2.ad0234829205b9033196ba818f7a872b_24" [label="24: DeclStmt \n n$21=_fun_NSString_stringWithUTF8String:(\"\":char const *) [line 36, column 3]\n _fun___objc_retain(n$21:NSString*) [line 36, column 3]\n *&__assert_fn__:NSString*=n$21 [line 36, column 3]\n " shape="box"]
"test2.ad0234829205b9033196ba818f7a872b_29" -> "test2.ad0234829205b9033196ba818f7a872b_24" ; "test2.ad0234829205b9033196ba818f7a872b_24" -> "test2.ad0234829205b9033196ba818f7a872b_19" ;
"test2.ad0234829205b9033196ba818f7a872b_29" -> "test2.ad0234829205b9033196ba818f7a872b_25" ; "test2.ad0234829205b9033196ba818f7a872b_24" -> "test2.ad0234829205b9033196ba818f7a872b_20" ;
} }

Write Preview
Loading…
Cancel
Save