pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
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.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '4dac490e8d'
${ noResults }
infer_clone/infer/tests/codetoanalyze/objc/frontend/block/block-it.dot

213 lines
12 KiB
Raw Normal View History Unescape

Treating blocks iterators for NSArray
9 years ago
digraph iCFG {
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
52 [label="52: DeclStmt \n n$44=_fun___objc_alloc_no_fail(sizeof(class NSArray ):unsigned long ) [line 30]\n n$42=_fun_NSArray_init(n$44:class NSArray *) virtual [line 30]\n *&a:class NSArray *=n$42 [line 30]\n REMOVE_TEMPS(n$42,n$44); [line 30]\n " shape="box"]
Treating blocks iterators for NSArray
9 years ago
52 -> 51 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
51 [label="51: DeclStmt \n n$41=*&a:class NSArray * [line 32]\n *&objects:class NSArray *=n$41 [line 32]\n REMOVE_TEMPS(n$41); [line 32]\n NULLIFY(&a,false); [line 32]\n " shape="box"]
Treating blocks iterators for NSArray
9 years ago
51 -> 44 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
50 [label="50: BinaryOperatorStmt: Assign \n NULLIFY(&ShouldStop,false); [line 40]\n n$39=*&stop:_Bool * [line 40]\n *n$39:_Bool =1 [line 40]\n REMOVE_TEMPS(n$39); [line 40]\n NULLIFY(&stop,false); [line 40]\n APPLY_ABSTRACTION; [line 40]\n " shape="box"]
Treating blocks iterators for NSArray
9 years ago
50 -> 47 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
49 [label="49: Prune (false branch) \n n$38=*&ShouldStop:int [line 39]\n PRUNE((n$38 == 0), false); [line 39]\n REMOVE_TEMPS(n$38); [line 39]\n APPLY_ABSTRACTION; [line 39]\n " shape="invhouse"]
Treating blocks iterators for NSArray
9 years ago
49 -> 47 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
48 [label="48: Prune (true branch) \n n$38=*&ShouldStop:int [line 39]\n PRUNE((n$38 != 0), true); [line 39]\n REMOVE_TEMPS(n$38); [line 39]\n " shape="invhouse"]
Treating blocks iterators for NSArray
9 years ago
48 -> 50 ;
47 [label="47: + \n NULLIFY(&ShouldStop,false); [line 39]\n NULLIFY(&stop,false); [line 39]\n " ]
47 -> 46 ;
46 [label="46: Exit __objc_anonymous_block_MyBlock_array_trans______2 \n " color=yellow style=filled]
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
45 [label="45: Start __objc_anonymous_block_MyBlock_array_trans______2\nFormals: object:struct objc_object * idx:unsigned long stop:_Bool *\nLocals: ShouldStop:int \n DECLARE_LOCALS(&return,&ShouldStop); [line 35]\n NULLIFY(&idx,false); [line 35]\n NULLIFY(&object,false); [line 35]\n " color=yellow style=filled]
Treating blocks iterators for NSArray
9 years ago
45 -> 48 ;
45 -> 49 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
44 [label="44: DeclStmt \n DECLARE_LOCALS(&__objc_anonymous_block_MyBlock_array_trans______2); [line 35]\n n$40=_fun___objc_alloc_no_fail(sizeof(class __objc_anonymous_block_MyBlock_array_trans______2 ):unsigned long ) [line 35]\n *&__objc_anonymous_block_MyBlock_array_trans______2:class __objc_anonymous_block_MyBlock_array_trans______2 =n$40 [line 35]\n *&enumerateObjectsUsingBlock:_fn_ (*)=(_fun___objc_anonymous_block_MyBlock_array_trans______2) [line 35]\n REMOVE_TEMPS(n$40); [line 35]\n " shape="box"]
Treating blocks iterators for NSArray
9 years ago
44 -> 43 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
43 [label="43: DeclStmt \n n$37=_fun_malloc_no_fail(sizeof(_Bool ):_Bool ) [line 43]\n *&stop:_Bool *=n$37 [line 43]\n REMOVE_TEMPS(n$37); [line 43]\n " shape="box"]
Treating blocks iterators for NSArray
9 years ago
43 -> 42 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
42 [label="42: BinaryOperatorStmt: Assign \n n$36=*&stop:_Bool * [line 44]\n *n$36:_Bool =0 [line 44]\n REMOVE_TEMPS(n$36); [line 44]\n " shape="box"]
Treating blocks iterators for NSArray
9 years ago
42 -> 31 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
41 [label="41: DeclStmt \n n$34=*&objects:class NSArray * [line 49]\n n$35=*&idx:unsigned long [line 49]\n n$33=_fun_NSArray_objectAtIndexedSubscript:(n$34:class NSArray *,n$35:unsigned long ) virtual [line 49]\n *&object:struct objc_object *=n$33 [line 49]\n REMOVE_TEMPS(n$33,n$34,n$35); [line 49]\n " shape="box"]
Treating blocks iterators for NSArray
9 years ago
41 -> 40 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
40 [label="40: Call n$29 \n n$29=*&enumerateObjectsUsingBlock:_fn_ (*) [line 50]\n n$30=*&object:struct objc_object * [line 50]\n n$31=*&idx:unsigned long [line 50]\n n$32=*&stop:_Bool * [line 50]\n n$29(n$30:struct objc_object *,n$31:unsigned long ,n$32:_Bool *) [line 50]\n REMOVE_TEMPS(n$29,n$30,n$31,n$32); [line 50]\n NULLIFY(&object,false); [line 50]\n " shape="box"]
Treating blocks iterators for NSArray
9 years ago
40 -> 37 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
39 [label="39: Prune (false branch) \n PRUNE(((n$28 == 1) == 0), false); [line 51]\n REMOVE_TEMPS(n$27,n$28); [line 51]\n " shape="invhouse"]
Treating blocks iterators for NSArray
9 years ago
39 -> 36 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
38 [label="38: Prune (true branch) \n PRUNE(((n$28 == 1) != 0), true); [line 51]\n REMOVE_TEMPS(n$27,n$28); [line 51]\n APPLY_ABSTRACTION; [line 51]\n " shape="invhouse"]
Treating blocks iterators for NSArray
9 years ago
38 -> 29 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
37 [label="37: BinaryOperatorStmt: EQ \n n$27=*&stop:_Bool * [line 51]\n n$28=*n$27:_Bool [line 51]\n " shape="box"]
Treating blocks iterators for NSArray
9 years ago
37 -> 38 ;
37 -> 39 ;
36 [label="36: + \n " ]
36 -> 32 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
35 [label="35: Prune (false branch) \n PRUNE(((n$24 < n$25) == 0), false); [line 46]\n REMOVE_TEMPS(n$24,n$25,n$26); [line 46]\n APPLY_ABSTRACTION; [line 46]\n " shape="invhouse"]
Treating blocks iterators for NSArray
9 years ago
35 -> 29 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
34 [label="34: Prune (true branch) \n PRUNE(((n$24 < n$25) != 0), true); [line 46]\n REMOVE_TEMPS(n$24,n$25,n$26); [line 46]\n " shape="invhouse"]
Treating blocks iterators for NSArray
9 years ago
34 -> 41 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
33 [label="33: BinaryOperatorStmt: LT \n n$24=*&idx:unsigned long [line 46]\n n$26=*&objects:class NSArray * [line 46]\n n$25=_fun_NSArray_count(n$26:class NSArray *) virtual [line 46]\n " shape="box"]
Treating blocks iterators for NSArray
9 years ago
33 -> 34 ;
33 -> 35 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
32 [label="32: UnaryOperator \n n$23=*&idx:unsigned long [line 46]\n *&idx:unsigned long =(n$23 + 1) [line 46]\n REMOVE_TEMPS(n$23); [line 46]\n APPLY_ABSTRACTION; [line 46]\n " shape="box"]
Treating blocks iterators for NSArray
9 years ago
32 -> 30 ;
31 [label="31: DeclStmt \n *&idx:unsigned long =0 [line 46]\n APPLY_ABSTRACTION; [line 46]\n " shape="box"]
31 -> 30 ;
30 [label="30: + \n " ]
30 -> 33 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
29 [label="29: Call _fun_free \n NULLIFY(&enumerateObjectsUsingBlock,false); [line 53]\n NULLIFY(&idx,false); [line 53]\n NULLIFY(&objects,false); [line 53]\n n$22=*&stop:_Bool * [line 53]\n _fun_free(n$22:void *) [line 53]\n REMOVE_TEMPS(n$22); [line 53]\n NULLIFY(&__objc_anonymous_block_MyBlock_array_trans______2,true); [line 53]\n NULLIFY(&stop,false); [line 53]\n APPLY_ABSTRACTION; [line 53]\n " shape="box"]
Treating blocks iterators for NSArray
9 years ago
29 -> 28 ;
28 [label="28: Exit MyBlock_array_trans \n " color=yellow style=filled]
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
27 [label="27: Start MyBlock_array_trans\nFormals: self:class MyBlock *\nLocals: a:class NSArray * objects:class NSArray * enumerateObjectsUsingBlock:_fn_ (*) stop:_Bool * idx:unsigned long object:struct objc_object * \n DECLARE_LOCALS(&return,&a,&objects,&enumerateObjectsUsingBlock,&stop,&idx,&object); [line 28]\n NULLIFY(&a,false); [line 28]\n NULLIFY(&enumerateObjectsUsingBlock,false); [line 28]\n NULLIFY(&idx,false); [line 28]\n NULLIFY(&object,false); [line 28]\n NULLIFY(&objects,false); [line 28]\n NULLIFY(&self,false); [line 28]\n NULLIFY(&stop,false); [line 28]\n " color=yellow style=filled]
Treating blocks iterators for NSArray
9 years ago
27 -> 52 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
26 [label="26: DeclStmt \n n$21=_fun___objc_alloc_no_fail(sizeof(class NSArray ):unsigned long ) [line 14]\n n$19=_fun_NSArray_init(n$21:class NSArray *) virtual [line 14]\n *&a:class NSArray *=n$19 [line 14]\n REMOVE_TEMPS(n$19,n$21); [line 14]\n " shape="box"]
Treating blocks iterators for NSArray
9 years ago
26 -> 25 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
25 [label="25: DeclStmt \n DECLARE_LOCALS(&infer___objc_anonymous_block_MyBlock_array______1); [line 15]\n DECLARE_LOCALS(&objects); [line 15]\n DECLARE_LOCALS(&stop); [line 15]\n DECLARE_LOCALS(&idx); [line 15]\n DECLARE_LOCALS(&object); [line 15]\n n$18=*&a:class NSArray * [line 15]\n *&objects:class NSArray *=n$18 [line 15]\n REMOVE_TEMPS(n$18); [line 15]\n NULLIFY(&a,false); [line 15]\n " shape="box"]
Treating blocks iterators for NSArray
9 years ago
25 -> 18 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
24 [label="24: BinaryOperatorStmt: Assign \n NULLIFY(&ShouldStop,false); [line 22]\n n$16=*&stop:_Bool * [line 22]\n *n$16:_Bool =1 [line 22]\n REMOVE_TEMPS(n$16); [line 22]\n NULLIFY(&stop,false); [line 22]\n APPLY_ABSTRACTION; [line 22]\n " shape="box"]
Treating blocks iterators for NSArray
9 years ago
24 -> 21 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
23 [label="23: Prune (false branch) \n n$15=*&ShouldStop:int [line 20]\n PRUNE((n$15 == 0), false); [line 20]\n REMOVE_TEMPS(n$15); [line 20]\n APPLY_ABSTRACTION; [line 20]\n " shape="invhouse"]
Treating blocks iterators for NSArray
9 years ago
23 -> 21 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
22 [label="22: Prune (true branch) \n n$15=*&ShouldStop:int [line 20]\n PRUNE((n$15 != 0), true); [line 20]\n REMOVE_TEMPS(n$15); [line 20]\n " shape="invhouse"]
Treating blocks iterators for NSArray
9 years ago
22 -> 24 ;
21 [label="21: + \n NULLIFY(&ShouldStop,false); [line 20]\n NULLIFY(&stop,false); [line 20]\n " ]
21 -> 20 ;
20 [label="20: Exit __objc_anonymous_block_MyBlock_array______1 \n " color=yellow style=filled]
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
19 [label="19: Start __objc_anonymous_block_MyBlock_array______1\nFormals: object:struct objc_object * idx:unsigned long stop:_Bool *\nLocals: ShouldStop:int \n DECLARE_LOCALS(&return,&ShouldStop); [line 15]\n NULLIFY(&idx,false); [line 15]\n NULLIFY(&object,false); [line 15]\n " color=yellow style=filled]
Treating blocks iterators for NSArray
9 years ago
19 -> 22 ;
19 -> 23 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
18 [label="18: DeclStmt \n DECLARE_LOCALS(&__objc_anonymous_block_MyBlock_array______1); [line 15]\n n$17=_fun___objc_alloc_no_fail(sizeof(class __objc_anonymous_block_MyBlock_array______1 ):unsigned long ) [line 15]\n *&__objc_anonymous_block_MyBlock_array______1:class __objc_anonymous_block_MyBlock_array______1 =n$17 [line 15]\n *&infer___objc_anonymous_block_MyBlock_array______1:_fn_ (*)=(_fun___objc_anonymous_block_MyBlock_array______1) [line 15]\n REMOVE_TEMPS(n$17); [line 15]\n " shape="box"]
Treating blocks iterators for NSArray
9 years ago
18 -> 17 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
17 [label="17: DeclStmt \n _fun_malloc_no_fail(sizeof(signed char ):signed char ) [line 15]\n *&stop:_Bool *=-1 [line 15]\n " shape="box"]
Treating blocks iterators for NSArray
9 years ago
17 -> 16 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
16 [label="16: BinaryOperatorStmt: Assign \n n$14=*&stop:_Bool * [line 15]\n *n$14:void =0 [line 15]\n REMOVE_TEMPS(n$14); [line 15]\n " shape="box"]
Treating blocks iterators for NSArray
9 years ago
16 -> 5 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
15 [label="15: DeclStmt \n n$12=*&objects:class NSArray * [line 15]\n n$13=*&idx:unsigned long [line 15]\n n$11=_fun_NSArray_objectAtIndexedSubscript:(n$12:class NSArray *,n$13:unsigned long ) virtual [line 15]\n *&object:struct objc_object *=n$11 [line 15]\n REMOVE_TEMPS(n$11,n$12,n$13); [line 15]\n " shape="box"]
Treating blocks iterators for NSArray
9 years ago
15 -> 14 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
14 [label="14: Call n$7 \n n$7=*&infer___objc_anonymous_block_MyBlock_array______1:_fn_ (*) [line 15]\n n$8=*&object:struct objc_object * [line 15]\n n$9=*&idx:unsigned long [line 15]\n n$10=*&stop:_Bool * [line 15]\n n$7(n$8:struct objc_object *,n$9:unsigned long ,n$10:_Bool *) [line 15]\n REMOVE_TEMPS(n$7,n$8,n$9,n$10); [line 15]\n " shape="box"]
Treating blocks iterators for NSArray
9 years ago
14 -> 11 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
13 [label="13: Prune (false branch) \n n$6=*n$5:signed char [line 15]\n PRUNE((n$6 == 0), false); [line 15]\n REMOVE_TEMPS(n$5,n$6); [line 15]\n " shape="invhouse"]
Treating blocks iterators for NSArray
9 years ago
13 -> 10 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
12 [label="12: Prune (true branch) \n n$6=*n$5:signed char [line 15]\n PRUNE((n$6 != 0), true); [line 15]\n REMOVE_TEMPS(n$5,n$6); [line 15]\n APPLY_ABSTRACTION; [line 15]\n " shape="invhouse"]
Treating blocks iterators for NSArray
9 years ago
12 -> 3 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
11 [label="11: UnaryOperator \n n$5=*&stop:_Bool * [line 15]\n " shape="box"]
Treating blocks iterators for NSArray
9 years ago
11 -> 12 ;
11 -> 13 ;
10 [label="10: + \n " ]
10 -> 6 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
9 [label="9: Prune (false branch) \n PRUNE(((n$2 < n$3) == 0), false); [line 15]\n REMOVE_TEMPS(n$2,n$3,n$4); [line 15]\n APPLY_ABSTRACTION; [line 15]\n " shape="invhouse"]
Treating blocks iterators for NSArray
9 years ago
9 -> 3 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
8 [label="8: Prune (true branch) \n PRUNE(((n$2 < n$3) != 0), true); [line 15]\n REMOVE_TEMPS(n$2,n$3,n$4); [line 15]\n " shape="invhouse"]
Treating blocks iterators for NSArray
9 years ago
8 -> 15 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
7 [label="7: BinaryOperatorStmt: LT \n n$2=*&idx:unsigned long [line 15]\n n$4=*&objects:class NSArray * [line 15]\n n$3=_fun_NSArray_count(n$4:class NSArray *) virtual [line 15]\n " shape="box"]
Treating blocks iterators for NSArray
9 years ago
7 -> 8 ;
7 -> 9 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
6 [label="6: UnaryOperator \n n$1=*&idx:unsigned long [line 15]\n *&idx:unsigned long =(n$1 + 1) [line 15]\n REMOVE_TEMPS(n$1); [line 15]\n APPLY_ABSTRACTION; [line 15]\n " shape="box"]
Treating blocks iterators for NSArray
9 years ago
6 -> 4 ;
5 [label="5: DeclStmt \n *&idx:unsigned long =0 [line 15]\n APPLY_ABSTRACTION; [line 15]\n " shape="box"]
5 -> 4 ;
4 [label="4: + \n " ]
4 -> 7 ;
[clang] [3 of 3] Changes to the translation of record, classes and enums Summary: This is the second of 3 stack diffs to deal with replacing the parser of types. This diff is about changes to translate record types, as well as class types and enum types. For class types and enum types we store the declaration pointer in the map of types to find the type easier later. For record declarations, we change the way we build record names. Moreover, we don't translate typedefs anymore, because when we have a pointer to a typedef, we can find the actual type it points to.
9 years ago
3 [label="3: Call _fun_free \n n$0=*&stop:_Bool * [line 15]\n _fun_free(n$0:void ) [line 15]\n NULLIFY(&object,true); [line 15]\n NULLIFY(&idx,true); [line 15]\n NULLIFY(&stop,true); [line 15]\n NULLIFY(&objects,true); [line 15]\n REMOVE_TEMPS(n$0); [line 15]\n NULLIFY(&__objc_anonymous_block_MyBlock_array______1,true); [line 15]\n NULLIFY(&infer___objc_anonymous_block_MyBlock_array______1,true); [line 15]\n APPLY_ABSTRACTION; [line 15]\n " shape="box"]
Treating blocks iterators for NSArray
9 years ago
3 -> 2 ;
2 [label="2: Exit MyBlock_array \n " color=yellow style=filled]
1 [label="1: Start MyBlock_array\nFormals: self:class MyBlock *\nLocals: a:class NSArray * \n DECLARE_LOCALS(&return,&a); [line 12]\n NULLIFY(&a,false); [line 12]\n NULLIFY(&self,false); [line 12]\n " color=yellow style=filled]
1 -> 26 ;
}