We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent fc0c6a0 commit 82bf7a1Copy full SHA for 82bf7a1
clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp
@@ -278,8 +278,7 @@ bool CallAndMessageChecker::uninitRefOrPointer(
278
const ProgramStateRef State = C.getState();
279
if (PointeeT->isVoidType())
280
PointeeT = C.getASTContext().CharTy;
281
- const SVal PointeeV =
282
- State->getSVal(SValMemRegion, PointeeT);
+ const SVal PointeeV = State->getSVal(SValMemRegion, PointeeT);
283
284
if (PointeeV.isUndef()) {
285
if (ExplodedNode *N = C.generateErrorNode()) {
0 commit comments