isuckatcs added inline comments.
Comment at: clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp:432
+ const LocationContext *LCtx = C.getLocationContext();
+ SVal SrcVal = State->getSVal(Buffer.Expression, LCtx);
+ QualType SourceValType = SrcVal.getType(C.getAST
earnol requested review of this revision.
earnol added inline comments.
Comment at: clang/lib/StaticAnalyzer/Core/RegionStore.cpp:1787
+ if (V &&
+ (!targetType->isStructureOrClassType() && !targetType->isUnionType()))
return *V;
isuckatcs wrote:
> I a
earnol planned changes to this revision.
earnol added inline comments.
Comment at: clang/lib/StaticAnalyzer/Core/RegionStore.cpp:564-565
- SVal getBindingForElement(RegionBindingsConstRef B, const ElementRegion *R);
+ SVal getBindingForElement(RegionBindingsConstRef B, const
isuckatcs added inline comments.
Comment at: clang/lib/StaticAnalyzer/Core/RegionStore.cpp:1787
+ if (V &&
+ (!targetType->isStructureOrClassType() && !targetType->isUnionType()))
return *V;
I assume `targetType` is the type we want to interpret the re
NoQ added a comment.
Hi, looks very interesting! We definitely have troubles with some initializer
lists.
It looks like you're primarily interested in the alpha/unsupported checker, but
your patch probably affects behavior of the default setup as well. If you've
found any difference in results
earnol created this revision.
Herald added subscribers: steakhal, manas, ASDenysPetrov, martong, dkrupp,
donat.nagy, Szelethus, mikhail.ramalho, a.sidorin, szepet, baloghadamsoftware,
xazax.hun.
Herald added a reviewer: NoQ.
Herald added a project: All.
earnol requested review of this revision.
H
