Searched refs:LocalChain (Results 1 – 3 of 3) sorted by relevance
/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/ |
D | UninitializedPointee.cpp | 139 const FieldRegion *FR, FieldChainInfo LocalChain) { in isDereferencableUninit() argument 154 LocalChain.add(LocField(FR, /*IsDereferenced*/ false)), FR); in isDereferencableUninit() 171 return addFieldToUninits(LocalChain.add(CyclicLocField(FR)), FR); in isDereferencableUninit() 181 return isNonUnionUninit(R, LocalChain.add(NeedsCastLocField(FR, DynT))); in isDereferencableUninit() 182 return isNonUnionUninit(R, LocalChain.add(LocField(FR))); in isDereferencableUninit() 188 return addFieldToUninits(LocalChain.add(NeedsCastLocField(FR, DynT)), in isDereferencableUninit() 190 return addFieldToUninits(LocalChain.add(LocField(FR)), R); in isDereferencableUninit() 210 return addFieldToUninits(LocalChain.add(NeedsCastLocField(FR, DynT)), R); in isDereferencableUninit() 211 return addFieldToUninits(LocalChain.add(LocField(FR)), R); in isDereferencableUninit()
|
D | UninitializedObjectChecker.cpp | 277 FieldChainInfo LocalChain) { in isNonUnionUninit() argument 308 if (LocalChain.contains(FR)) in isNonUnionUninit() 312 if (isNonUnionUninit(FR, LocalChain.add(RegularField(FR)))) in isNonUnionUninit() 319 if (addFieldToUninits(LocalChain.add(RegularField(FR)))) in isNonUnionUninit() 334 if (isDereferencableUninit(FR, LocalChain)) in isNonUnionUninit() 341 if (addFieldToUninits(LocalChain.add(RegularField(FR)))) in isNonUnionUninit() 363 if (!LocalChain.isEmpty() && LocalChain.getHead().isBase()) { in isNonUnionUninit() 364 if (isNonUnionUninit(BaseRegion, LocalChain.replaceHead( in isNonUnionUninit() 369 LocalChain.add(BaseClass(BaseSpec.getType())))) in isNonUnionUninit()
|
D | UninitializedObject.h | 294 bool isNonUnionUninit(const TypedValueRegion *R, FieldChainInfo LocalChain); 299 bool isDereferencableUninit(const FieldRegion *FR, FieldChainInfo LocalChain); 318 bool addFieldToUninits(FieldChainInfo LocalChain,
|