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 'cbb8ea1150'
${ noResults }
infer_clone/infer/tests/build_systems/objc_getters_setters/issues.exp

4 lines
736 B
Raw Normal View History Unescape

[objc] Adding missing fields to env when executing generated getters and setters. Reviewed By: mbouaziz Differential Revision: D5923752 fbshipit-source-id: 0f3a7db
7 years ago
build_systems/codetoanalyze/objc_getters_setters/B.m, B_npe_no_bad_footprint_in_getter:, 3, NULL_DEREFERENCE, [start of procedure npe_no_bad_footprint_in_getter:]
build_systems/codetoanalyze/objc_getters_setters/B.m, B_npe_no_bad_footprint_in_setter:andMetadata:, 3, NULL_DEREFERENCE, [start of procedure npe_no_bad_footprint_in_setter:andMetadata:]
[objc] Do not fail in the bi-abduction with missing fields in ObjC Reviewed By: sblackshear Differential Revision: D6099481 fbshipit-source-id: 00e0889
7 years ago
build_systems/codetoanalyze/objc_getters_setters/B.m, B_npe_no_precondition_not_met:, 4, NULL_DEREFERENCE, [start of procedure npe_no_precondition_not_met:,start of procedure infer_field_get_spec:,start of procedure withMetadata:,return from a call to A_withMetadata:,return from a call to B_infer_field_get_spec:,start of procedure getX,return from a call to A_getX,Condition is true]