Home
last modified time | relevance | path

Searched refs:LocalChain (Results 1 – 3 of 3) sorted by relevance

/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp138 const FieldRegion *FR, FieldChainInfo LocalChain) { in isDereferencableUninit() argument
153 LocalChain.add(LocField(FR, /*IsDereferenced*/ false)), FR); in isDereferencableUninit()
170 return addFieldToUninits(LocalChain.add(CyclicLocField(FR)), FR); in isDereferencableUninit()
180 return isNonUnionUninit(R, LocalChain.add(NeedsCastLocField(FR, DynT))); in isDereferencableUninit()
181 return isNonUnionUninit(R, LocalChain.add(LocField(FR))); in isDereferencableUninit()
187 return addFieldToUninits(LocalChain.add(NeedsCastLocField(FR, DynT)), in isDereferencableUninit()
189 return addFieldToUninits(LocalChain.add(LocField(FR)), R); in isDereferencableUninit()
209 return addFieldToUninits(LocalChain.add(NeedsCastLocField(FR, DynT)), R); in isDereferencableUninit()
210 return addFieldToUninits(LocalChain.add(LocField(FR)), R); in isDereferencableUninit()
H A DUninitializedObjectChecker.cpp275 FieldChainInfo LocalChain) { in isNonUnionUninit() argument
306 if (LocalChain.contains(FR)) in isNonUnionUninit()
310 if (isNonUnionUninit(FR, LocalChain.add(RegularField(FR)))) in isNonUnionUninit()
317 if (addFieldToUninits(LocalChain.add(RegularField(FR)))) in isNonUnionUninit()
332 if (isDereferencableUninit(FR, LocalChain)) in isNonUnionUninit()
339 if (addFieldToUninits(LocalChain.add(RegularField(FR)))) in isNonUnionUninit()
361 if (!LocalChain.isEmpty() && LocalChain.getHead().isBase()) { in isNonUnionUninit()
362 if (isNonUnionUninit(BaseRegion, LocalChain.replaceHead( in isNonUnionUninit()
367 LocalChain.add(BaseClass(BaseSpec.getType())))) in isNonUnionUninit()
H A DUninitializedObject.h294 bool isNonUnionUninit(const TypedValueRegion *R, FieldChainInfo LocalChain);
299 bool isDereferencableUninit(const FieldRegion *FR, FieldChainInfo LocalChain);
318 bool addFieldToUninits(FieldChainInfo LocalChain,