Searched refs:LocalChain (Results 1 – 3 of 3) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/ |
| H A D | UninitializedPointee.cpp | 140 const FieldRegion *FR, FieldChainInfo LocalChain) { in isDereferencableUninit() argument
155 LocalChain.add(LocField(FR, /*IsDereferenced*/ false)), FR); in isDereferencableUninit()
172 return addFieldToUninits(LocalChain.add(CyclicLocField(FR)), FR); in isDereferencableUninit()
182 return isNonUnionUninit(R, LocalChain.add(NeedsCastLocField(FR, DynT))); in isDereferencableUninit()
183 return isNonUnionUninit(R, LocalChain.add(LocField(FR))); in isDereferencableUninit()
189 return addFieldToUninits(LocalChain.add(NeedsCastLocField(FR, DynT)), in isDereferencableUninit()
191 return addFieldToUninits(LocalChain.add(LocField(FR)), R); in isDereferencableUninit()
211 return addFieldToUninits(LocalChain.add(NeedsCastLocField(FR, DynT)), R); in isDereferencableUninit()
212 return addFieldToUninits(LocalChain.add(LocField(FR)), R); in isDereferencableUninit()
|
| H A D | UninitializedObjectChecker.cpp | 261 FieldChainInfo LocalChain) { in isNonUnionUninit() argument
292 if (LocalChain.contains(FR)) in isNonUnionUninit()
296 if (isNonUnionUninit(FR, LocalChain.add(RegularField(FR)))) in isNonUnionUninit()
303 if (addFieldToUninits(LocalChain.add(RegularField(FR)))) in isNonUnionUninit()
318 if (isDereferencableUninit(FR, LocalChain)) in isNonUnionUninit()
325 if (addFieldToUninits(LocalChain.add(RegularField(FR)))) in isNonUnionUninit()
347 if (!LocalChain.isEmpty() && LocalChain.getHead().isBase()) { in isNonUnionUninit()
348 if (isNonUnionUninit(BaseRegion, LocalChain.replaceHead( in isNonUnionUninit()
353 LocalChain.add(BaseClass(BaseSpec.getType())))) in isNonUnionUninit()
|
| H A D | UninitializedObject.h | 287 bool isNonUnionUninit(const TypedValueRegion *R, FieldChainInfo LocalChain);
292 bool isDereferencableUninit(const FieldRegion *FR, FieldChainInfo LocalChain);
311 bool addFieldToUninits(FieldChainInfo LocalChain,
|