This is an archive of the discontinued LLVM Phabricator instance.

Differential D59157

[analyzer] ConditionBRVisitor: better readability in comparisons
AbandonedPublic

Authored by Charusso on Mar 8 2019, 2:12 PM.

Details

Reviewers
NoQ
george.karpenkov
Summary
  • If there is a value in the comparison it is easier to read as Assuming 'i' is not '1' instead of Assuming 'i' is not equal to '1'.
  • Fixed the patternMatch() function to determine if the left and right operands of the comparison are variables.

Diff Detail

Revision Contents

Diff 189941

lib/StaticAnalyzer/Core/BugReporterVisitors.cpp

Show First 20 Lines • Show All 2,043 Lines • ▼ Show 20 Lines if (beginAndEndAreTheSameMacro && !partOfParentMacro ) {
// Return the macro name. // Return the macro name.
Out << '\'' << MacroName << '\''; Out << '\'' << MacroName << '\'';
return false; return false;
} }
} }
if (const auto *DRE = dyn_cast<DeclRefExpr>(Ex)) { if (const auto *DRE = dyn_cast<DeclRefExpr>(Ex)) {
const bool IsVarDecl = isa<VarDecl>(DRE->getDecl()); if (isa<VarDecl>(DRE->getDecl())) {
if (IsVarDecl) {
const LocationContext *LCtx = N->getLocationContext(); const LocationContext *LCtx = N->getLocationContext();
const ProgramState *state = N->getState().get(); const ProgramState *state = N->getState().get();
if (const MemRegion *R = state->getLValue(cast<VarDecl>(DRE->getDecl()), if (const MemRegion *R = state->getLValue(cast<VarDecl>(DRE->getDecl()),
LCtx).getAsRegion()) { LCtx).getAsRegion()) {
if (report.isInteresting(R)) if (report.isInteresting(R))
prunable = false; prunable = false;
else { else {
const ProgramState *state = N->getState().get(); const ProgramState *state = N->getState().get();
SVal V = state->getSVal(R); SVal V = state->getSVal(R);
if (report.isInteresting(V)) if (report.isInteresting(V))
prunable = false; prunable = false;
} }
} }
} }
Out << '\'' << DRE->getDecl()->getDeclName() << '\''; Out << '\'' << DRE->getDecl()->getDeclName() << '\'';
return IsVarDecl; return true;
} }
if (const auto *IL = dyn_cast<IntegerLiteral>(Ex)) { if (const auto *IL = dyn_cast<IntegerLiteral>(Ex)) {
QualType OriginalTy = OriginalExpr->getType(); QualType OriginalTy = OriginalExpr->getType();
if (OriginalTy->isPointerType()) { if (OriginalTy->isPointerType()) {
if (IL->getValue() == 0) { if (IL->getValue() == 0) {
Out << "'null'"; Out << "'null'";
return false; return false;
Show All 14 Lines if (const auto *ME = dyn_cast<MemberExpr>(Ex)) {
if (!IsSameFieldName) if (!IsSameFieldName)
Out << "field '" << ME->getMemberDecl()->getName() << '\''; Out << "field '" << ME->getMemberDecl()->getName() << '\'';
else else
Out << '\'' Out << '\''
<< Lexer::getSourceText( << Lexer::getSourceText(
CharSourceRange::getTokenRange(Ex->getSourceRange()), CharSourceRange::getTokenRange(Ex->getSourceRange()),
BRC.getSourceManager(), BRC.getASTContext().getLangOpts(), 0) BRC.getSourceManager(), BRC.getASTContext().getLangOpts(), 0)
<< '\''; << '\'';
return true;
} }
return false; return false;
} }
std::shared_ptr<PathDiagnosticPiece> std::shared_ptr<PathDiagnosticPiece>
ConditionBRVisitor::VisitTrueTest(const Expr *Cond, const BinaryOperator *BExpr, ConditionBRVisitor::VisitTrueTest(const Expr *Cond, const BinaryOperator *BExpr,
const bool tookTrue, BugReporterContext &BRC, const bool tookTrue, BugReporterContext &BRC,
BugReport &R, const ExplodedNode *N) { BugReport &R, const ExplodedNode *N) {
bool shouldInvert = false; bool shouldInvert = false;
bool isVarLHS, isVarRHS;
Optional<bool> shouldPrune; Optional<bool> shouldPrune;
// Check if the field name of the MemberExprs is ambiguous. Example: // Check if the field name of the MemberExprs is ambiguous. Example:
// " 'a.d' is equal to 'h.d' " in 'test/Analysis/null-deref-path-notes.cpp'. // " 'a.d' is equal to 'h.d' " in 'test/Analysis/null-deref-path-notes.cpp'.
bool IsSameFieldName = false; bool IsSameFieldName = false;
if (const auto *LhsME = if (const auto *LhsME =
dyn_cast<MemberExpr>(BExpr->getLHS()->IgnoreParenCasts())) dyn_cast<MemberExpr>(BExpr->getLHS()->IgnoreParenCasts()))
if (const auto *RhsME = if (const auto *RhsME =
dyn_cast<MemberExpr>(BExpr->getRHS()->IgnoreParenCasts())) dyn_cast<MemberExpr>(BExpr->getRHS()->IgnoreParenCasts()))
IsSameFieldName = LhsME->getMemberDecl()->getName() == IsSameFieldName = LhsME->getMemberDecl()->getName() ==
RhsME->getMemberDecl()->getName(); RhsME->getMemberDecl()->getName();
SmallString<128> LhsString, RhsString; SmallString<128> LhsString, RhsString;
{ {
llvm::raw_svector_ostream OutLHS(LhsString), OutRHS(RhsString); llvm::raw_svector_ostream OutLHS(LhsString), OutRHS(RhsString);
const bool isVarLHS = patternMatch(BExpr->getLHS(), BExpr, OutLHS, BRC, R, isVarLHS = patternMatch(BExpr->getLHS(), BExpr, OutLHS, BRC, R, N,
N, shouldPrune, IsSameFieldName); shouldPrune, IsSameFieldName);
const bool isVarRHS = patternMatch(BExpr->getRHS(), BExpr, OutRHS, BRC, R, isVarRHS = patternMatch(BExpr->getRHS(), BExpr, OutRHS, BRC, R, N,
N, shouldPrune, IsSameFieldName); shouldPrune, IsSameFieldName);
shouldInvert = !isVarLHS && isVarRHS; shouldInvert = !isVarLHS && isVarRHS;
} }
BinaryOperator::Opcode Op = BExpr->getOpcode(); BinaryOperator::Opcode Op = BExpr->getOpcode();
if (BinaryOperator::isAssignmentOp(Op)) { if (BinaryOperator::isAssignmentOp(Op)) {
// For assignment operators, all that we care about is that the LHS // For assignment operators, all that we care about is that the LHS
Show All 29 Lines switch (Op) {
case BO_EQ: Op = BO_NE; break; case BO_EQ: Op = BO_NE; break;
case BO_NE: Op = BO_EQ; break; case BO_NE: Op = BO_EQ; break;
case BO_LT: Op = BO_GE; break; case BO_LT: Op = BO_GE; break;
case BO_GT: Op = BO_LE; break; case BO_GT: Op = BO_LE; break;
case BO_LE: Op = BO_GT; break; case BO_LE: Op = BO_GT; break;
case BO_GE: Op = BO_LT; break; case BO_GE: Op = BO_LT; break;
default: default:
return nullptr; return nullptr;
} }
const bool IsBothVariable = isVarLHS && isVarRHS;
switch (Op) { switch (Op) {
case BO_EQ: case BO_EQ:
Out << "equal to "; Out << (IsBothVariable ? "equal to " : "");
break; break;
case BO_NE: case BO_NE:
Out << "not equal to "; Out << (IsBothVariable ? "not equal to" : "not ");
break; break;
default: default:
Out << BinaryOperator::getOpcodeStr(Op) << ' '; Out << BinaryOperator::getOpcodeStr(Op) << ' ';
break; break;
} }
Out << (shouldInvert ? LhsString : RhsString); Out << (shouldInvert ? LhsString : RhsString);
const LocationContext *LCtx = N->getLocationContext(); const LocationContext *LCtx = N->getLocationContext();
▲ Show 20 Lines • Show All 112 Lines • ▼ Show 20 Linesbool ConditionBRVisitor::printValue(const Expr *CondVarExpr,
Optional<const llvm::APSInt *> IntValue; Optional<const llvm::APSInt *> IntValue;
if (!IsAssuming) if (!IsAssuming)
IntValue = getConcreteIntegerValue(CondVarExpr, N); IntValue = getConcreteIntegerValue(CondVarExpr, N);
if (IsAssuming || !IntValue.hasValue()) { if (IsAssuming || !IntValue.hasValue()) {
if (Ty->isBooleanType()) if (Ty->isBooleanType())
Out << (TookTrue ? "'true'" : "'false'"); Out << (TookTrue ? "'true'" : "'false'");
else else
Out << (TookTrue ? "not equal to '0'" : "'0'"); Out << (TookTrue ? "not '0'" : "'0'");
} else { } else {
if (Ty->isBooleanType()) if (Ty->isBooleanType())
Out << (IntValue.getValue()->getBoolValue() ? "'true'" : "'false'"); Out << (IntValue.getValue()->getBoolValue() ? "'true'" : "'false'");
else else
Out << *IntValue.getValue(); Out << *IntValue.getValue();
} }
return true; return true;
▲ Show 20 Lines • Show All 286 Lines • Show Last 20 Lines

test/Analysis/Inputs/expected-plists/conditional-path-notes.c.plist

Show First 20 Lines • Show All 1,189 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>59</integer> <key>line</key><integer>59</integer>
<key>col</key><integer>7</integer> <key>col</key><integer>7</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;a&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;a&apos; is not &apos;0&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;a&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;a&apos; is not &apos;0&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 170 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>68</integer> <key>line</key><integer>68</integer>
<key>col</key><integer>7</integer> <key>col</key><integer>7</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;a&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;a&apos; is not &apos;0&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;a&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;a&apos; is not &apos;0&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 44 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>68</integer> <key>line</key><integer>68</integer>
<key>col</key><integer>12</integer> <key>col</key><integer>12</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;b&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;b&apos; is not &apos;0&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;b&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;b&apos; is not &apos;0&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 312 Lines • Show Last 20 Lines

test/Analysis/Inputs/expected-plists/cxx-for-range.cpp.plist

Show First 20 Lines • Show All 193 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>11</integer> <key>line</key><integer>11</integer>
<key>col</key><integer>14</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;y&apos; is not equal to &apos;2&apos;</string> <string>&apos;y&apos; is not &apos;2&apos;</string>
<key>message</key> <key>message</key>
<string>&apos;y&apos; is not equal to &apos;2&apos;</string> <string>&apos;y&apos; is not &apos;2&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 306 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>11</integer> <key>line</key><integer>11</integer>
<key>col</key><integer>14</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;y&apos; is equal to &apos;2&apos;</string> <string>&apos;y&apos; is &apos;2&apos;</string>
<key>message</key> <key>message</key>
<string>&apos;y&apos; is equal to &apos;2&apos;</string> <string>&apos;y&apos; is &apos;2&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 577 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>41</integer> <key>line</key><integer>41</integer>
<key>col</key><integer>14</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;y&apos; is equal to &apos;2&apos;</string> <string>Assuming &apos;y&apos; is &apos;2&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;y&apos; is equal to &apos;2&apos;</string> <string>Assuming &apos;y&apos; is &apos;2&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 431 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>76</integer> <key>line</key><integer>76</integer>
<key>col</key><integer>14</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;y&apos; is equal to &apos;2&apos;</string> <string>Assuming &apos;y&apos; is &apos;2&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;y&apos; is equal to &apos;2&apos;</string> <string>Assuming &apos;y&apos; is &apos;2&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 566 Lines • Show Last 20 Lines

test/Analysis/Inputs/expected-plists/edges-new.mm.plist

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 1,292 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>90</integer> <key>line</key><integer>90</integer>
<key>col</key><integer>12</integer> <key>col</key><integer>12</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;a&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;a&apos; is not &apos;0&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;a&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;a&apos; is not &apos;0&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 78 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>93</integer> <key>line</key><integer>93</integer>
<key>col</key><integer>12</integer> <key>col</key><integer>12</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;b&apos; is equal to &apos;0&apos;</string> <string>Assuming &apos;b&apos; is &apos;0&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;b&apos; is equal to &apos;0&apos;</string> <string>Assuming &apos;b&apos; is &apos;0&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 1,320 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>146</integer> <key>line</key><integer>146</integer>
<key>col</key><integer>13</integer> <key>col</key><integer>13</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;i&apos; is not equal to &apos;1&apos;</string> <string>&apos;i&apos; is not &apos;1&apos;</string>
<key>message</key> <key>message</key>
<string>&apos;i&apos; is not equal to &apos;1&apos;</string> <string>&apos;i&apos; is not &apos;1&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 204 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>146</integer> <key>line</key><integer>146</integer>
<key>col</key><integer>13</integer> <key>col</key><integer>13</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;i&apos; is equal to &apos;1&apos;</string> <string>&apos;i&apos; is &apos;1&apos;</string>
<key>message</key> <key>message</key>
<string>&apos;i&apos; is equal to &apos;1&apos;</string> <string>&apos;i&apos; is &apos;1&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 962 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>178</integer> <key>line</key><integer>178</integer>
<key>col</key><integer>14</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;i&apos; is equal to &apos;0&apos;</string> <string>&apos;i&apos; is &apos;0&apos;</string>
<key>message</key> <key>message</key>
<string>&apos;i&apos; is equal to &apos;0&apos;</string> <string>&apos;i&apos; is &apos;0&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 238 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>178</integer> <key>line</key><integer>178</integer>
<key>col</key><integer>14</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;i&apos; is not equal to &apos;0&apos;</string> <string>&apos;i&apos; is not &apos;0&apos;</string>
<key>message</key> <key>message</key>
<string>&apos;i&apos; is not equal to &apos;0&apos;</string> <string>&apos;i&apos; is not &apos;0&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 78 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>181</integer> <key>line</key><integer>181</integer>
<key>col</key><integer>14</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;i&apos; is equal to &apos;1&apos;</string> <string>&apos;i&apos; is &apos;1&apos;</string>
<key>message</key> <key>message</key>
<string>&apos;i&apos; is equal to &apos;1&apos;</string> <string>&apos;i&apos; is &apos;1&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 3,315 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>263</integer> <key>line</key><integer>263</integer>
<key>col</key><integer>22</integer> <key>col</key><integer>22</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;coin&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;coin&apos; is not &apos;0&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;coin&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;coin&apos; is not &apos;0&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 1,183 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>283</integer> <key>line</key><integer>283</integer>
<key>col</key><integer>11</integer> <key>col</key><integer>11</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;x&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;x&apos; is not &apos;0&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;x&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;x&apos; is not &apos;0&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 2,107 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>400</integer> <key>line</key><integer>400</integer>
<key>col</key><integer>10</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;coin&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;coin&apos; is not &apos;0&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;coin&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;coin&apos; is not &apos;0&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 11,311 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>587</integer> <key>line</key><integer>587</integer>
<key>col</key><integer>16</integer> <key>col</key><integer>16</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Field &apos;b&apos; is equal to &apos;2&apos;</string> <string>Field &apos;b&apos; is &apos;2&apos;</string>
<key>message</key> <key>message</key>
<string>Field &apos;b&apos; is equal to &apos;2&apos;</string> <string>Field &apos;b&apos; is &apos;2&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 122 Lines • Show Last 20 Lines

test/Analysis/Inputs/expected-plists/inline-plist.c.plist

Show First 20 Lines • Show All 96 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>13</integer> <key>line</key><integer>13</integer>
<key>col</key><integer>12</integer> <key>col</key><integer>12</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;x&apos; is equal to &apos;0&apos;</string> <string>Assuming &apos;x&apos; is &apos;0&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;x&apos; is equal to &apos;0&apos;</string> <string>Assuming &apos;x&apos; is &apos;0&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 435 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>45</integer> <key>line</key><integer>45</integer>
<key>col</key><integer>12</integer> <key>col</key><integer>12</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;p&apos; is equal to &apos;null&apos;</string> <string>&apos;p&apos; is &apos;null&apos;</string>
<key>message</key> <key>message</key>
<string>&apos;p&apos; is equal to &apos;null&apos;</string> <string>&apos;p&apos; is &apos;null&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 1,480 Lines • Show Last 20 Lines

test/Analysis/Inputs/expected-plists/malloc-plist.c.plist

Show First 20 Lines • Show All 3,732 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>137</integer> <key>line</key><integer>137</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>9</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>1</integer> <key>depth</key><integer>1</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;y&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;y&apos; is not &apos;0&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;y&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;y&apos; is not &apos;0&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 1,511 Lines • Show Last 20 Lines

test/Analysis/Inputs/expected-plists/objc-radar17039661.m.plist

Show First 20 Lines • Show All 394 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>32</integer> <key>line</key><integer>32</integer>
<key>col</key><integer>12</integer> <key>col</key><integer>12</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>3</integer> <key>depth</key><integer>3</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;cond&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;cond&apos; is not &apos;0&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;cond&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;cond&apos; is not &apos;0&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 661 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>32</integer> <key>line</key><integer>32</integer>
<key>col</key><integer>12</integer> <key>col</key><integer>12</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>3</integer> <key>depth</key><integer>3</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;cond&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;cond&apos; is not &apos;0&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;cond&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;cond&apos; is not &apos;0&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 277 Lines • Show Last 20 Lines

test/Analysis/Inputs/expected-plists/plist-macros.cpp.plist

Show First 20 Lines • Show All 361 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>28</integer> <key>line</key><integer>28</integer>
<key>col</key><integer>33</integer> <key>col</key><integer>33</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;p&apos; is equal to &apos;null&apos;</string> <string>Assuming &apos;p&apos; is &apos;null&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;p&apos; is equal to &apos;null&apos;</string> <string>Assuming &apos;p&apos; is &apos;null&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 561 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>45</integer> <key>line</key><integer>45</integer>
<key>col</key><integer>21</integer> <key>col</key><integer>21</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;p&apos; is equal to &apos;null&apos;</string> <string>Assuming &apos;p&apos; is &apos;null&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;p&apos; is equal to &apos;null&apos;</string> <string>Assuming &apos;p&apos; is &apos;null&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 893 Lines • Show Last 20 Lines

test/Analysis/Inputs/expected-plists/plist-output.m.plist

Show First 20 Lines • Show All 1,292 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>43</integer> <key>line</key><integer>43</integer>
<key>col</key><integer>12</integer> <key>col</key><integer>12</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;a&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;a&apos; is not &apos;0&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;a&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;a&apos; is not &apos;0&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 78 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>46</integer> <key>line</key><integer>46</integer>
<key>col</key><integer>12</integer> <key>col</key><integer>12</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;b&apos; is equal to &apos;0&apos;</string> <string>Assuming &apos;b&apos; is &apos;0&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;b&apos; is equal to &apos;0&apos;</string> <string>Assuming &apos;b&apos; is &apos;0&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 1,106 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>96</integer> <key>line</key><integer>96</integer>
<key>col</key><integer>13</integer> <key>col</key><integer>13</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;i&apos; is not equal to &apos;1&apos;</string> <string>&apos;i&apos; is not &apos;1&apos;</string>
<key>message</key> <key>message</key>
<string>&apos;i&apos; is not equal to &apos;1&apos;</string> <string>&apos;i&apos; is not &apos;1&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 204 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>96</integer> <key>line</key><integer>96</integer>
<key>col</key><integer>13</integer> <key>col</key><integer>13</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;i&apos; is equal to &apos;1&apos;</string> <string>&apos;i&apos; is &apos;1&apos;</string>
<key>message</key> <key>message</key>
<string>&apos;i&apos; is equal to &apos;1&apos;</string> <string>&apos;i&apos; is &apos;1&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 801 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>127</integer> <key>line</key><integer>127</integer>
<key>col</key><integer>14</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;i&apos; is not equal to &apos;1&apos;</string> <string>&apos;i&apos; is not &apos;1&apos;</string>
<key>message</key> <key>message</key>
<string>&apos;i&apos; is not equal to &apos;1&apos;</string> <string>&apos;i&apos; is not &apos;1&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 204 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>127</integer> <key>line</key><integer>127</integer>
<key>col</key><integer>14</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;i&apos; is equal to &apos;1&apos;</string> <string>&apos;i&apos; is &apos;1&apos;</string>
<key>message</key> <key>message</key>
<string>&apos;i&apos; is equal to &apos;1&apos;</string> <string>&apos;i&apos; is &apos;1&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 2,603 Lines • Show Last 20 Lines

test/Analysis/Inputs/expected-plists/retain-release-path-notes.m.plist

Show First 20 Lines • Show All 3,701 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>207</integer> <key>line</key><integer>207</integer>
<key>col</key><integer>10</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>1</integer> <key>depth</key><integer>1</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;Cond&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;Cond&apos; is not &apos;0&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;Cond&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;Cond&apos; is not &apos;0&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 1,300 Lines • Show Last 20 Lines

test/Analysis/Inputs/expected-plists/retain-release.m.objc.plist

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 19,613 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>1791</integer> <key>line</key><integer>1791</integer>
<key>col</key><integer>38</integer> <key>col</key><integer>38</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;error_to_dump&apos; is not equal to &apos;null&apos;</string> <string>Assuming &apos;error_to_dump&apos; is not &apos;null&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;error_to_dump&apos; is not equal to &apos;null&apos;</string> <string>Assuming &apos;error_to_dump&apos; is not &apos;null&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string> <key>kind</key><string>event</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>1791</integer> <key>line</key><integer>1791</integer>
<key>col</key><integer>12</integer> <key>col</key><integer>12</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
▲ Show 20 Lines • Show All 204 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>1796</integer> <key>line</key><integer>1796</integer>
<key>col</key><integer>30</integer> <key>col</key><integer>30</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;info&apos; is not equal to &apos;null&apos;</string> <string>Assuming &apos;info&apos; is not &apos;null&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;info&apos; is not equal to &apos;null&apos;</string> <string>Assuming &apos;info&apos; is not &apos;null&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 4,510 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>2234</integer> <key>line</key><integer>2234</integer>
<key>col</key><integer>10</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>1</integer> <key>depth</key><integer>1</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;Cond&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;Cond&apos; is not &apos;0&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;Cond&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;Cond&apos; is not &apos;0&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 1,855 Lines • Show Last 20 Lines

test/Analysis/Inputs/expected-plists/retain-release.m.objcpp.plist

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 19,682 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>1791</integer> <key>line</key><integer>1791</integer>
<key>col</key><integer>38</integer> <key>col</key><integer>38</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;error_to_dump&apos; is not equal to &apos;null&apos;</string> <string>Assuming &apos;error_to_dump&apos; is not &apos;null&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;error_to_dump&apos; is not equal to &apos;null&apos;</string> <string>Assuming &apos;error_to_dump&apos; is not &apos;null&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string> <key>kind</key><string>event</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>1791</integer> <key>line</key><integer>1791</integer>
<key>col</key><integer>12</integer> <key>col</key><integer>12</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
▲ Show 20 Lines • Show All 204 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>1796</integer> <key>line</key><integer>1796</integer>
<key>col</key><integer>30</integer> <key>col</key><integer>30</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;info&apos; is not equal to &apos;null&apos;</string> <string>Assuming &apos;info&apos; is not &apos;null&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;info&apos; is not equal to &apos;null&apos;</string> <string>Assuming &apos;info&apos; is not &apos;null&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 4,510 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>2234</integer> <key>line</key><integer>2234</integer>
<key>col</key><integer>10</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>1</integer> <key>depth</key><integer>1</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;Cond&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;Cond&apos; is not &apos;0&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;Cond&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;Cond&apos; is not &apos;0&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 1,855 Lines • Show Last 20 Lines

test/Analysis/Inputs/expected-plists/unix-fns.c.plist

Show First 20 Lines • Show All 96 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>84</integer> <key>line</key><integer>84</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>9</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;fd&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;fd&apos; is not &apos;0&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;fd&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;fd&apos; is not &apos;0&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 206 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>95</integer> <key>line</key><integer>95</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>9</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;fd&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;fd&apos; is not &apos;0&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;fd&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;fd&apos; is not &apos;0&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 2,870 Lines • Show Last 20 Lines

test/Analysis/conditional-path-notes.c

Show First 20 Lines • Show All 51 Lines • ▼ Show 20 Linesvoid testBinaryLHSProblem(int *p) {
int x = *p ?: 1; // expected-warning{{Dereference of null pointer (loaded from variable 'p')}} int x = *p ?: 1; // expected-warning{{Dereference of null pointer (loaded from variable 'p')}}
// expected-note@-1 {{Dereference of null pointer (loaded from variable 'p')}} // expected-note@-1 {{Dereference of null pointer (loaded from variable 'p')}}
(void)x; (void)x;
} }
void testDiagnosableBranch(int a) { void testDiagnosableBranch(int a) {
if (a) { if (a) {
// expected-note@-1 {{Assuming 'a' is not equal to '0'}} // expected-note@-1 {{Assuming 'a' is not '0'}}
// expected-note@-2 {{Taking true branch}} // expected-note@-2 {{Taking true branch}}
*(volatile int *)0 = 1; // expected-warning{{Dereference of null pointer}} *(volatile int *)0 = 1; // expected-warning{{Dereference of null pointer}}
// expected-note@-1 {{Dereference of null pointer}} // expected-note@-1 {{Dereference of null pointer}}
} }
} }
void testDiagnosableBranchLogical(int a, int b) { void testDiagnosableBranchLogical(int a, int b) {
if (a && b) { if (a && b) {
// expected-note@-1 {{Assuming 'a' is not equal to '0'}} // expected-note@-1 {{Assuming 'a' is not '0'}}
// expected-note@-2 {{Left side of '&&' is true}} // expected-note@-2 {{Left side of '&&' is true}}
// expected-note@-3 {{Assuming 'b' is not equal to '0'}} // expected-note@-3 {{Assuming 'b' is not '0'}}
// expected-note@-4 {{Taking true branch}} // expected-note@-4 {{Taking true branch}}
*(volatile int *)0 = 1; // expected-warning{{Dereference of null pointer}} *(volatile int *)0 = 1; // expected-warning{{Dereference of null pointer}}
// expected-note@-1 {{Dereference of null pointer}} // expected-note@-1 {{Dereference of null pointer}}
} }
} }
void testNonDiagnosableBranchArithmetic(int a, int b) { void testNonDiagnosableBranchArithmetic(int a, int b) {
if (a - b) { if (a - b) {
// expected-note@-1 {{Taking true branch}} // expected-note@-1 {{Taking true branch}}
// expected-note@-2 {{Assuming the condition is true}} // expected-note@-2 {{Assuming the condition is true}}
*(volatile int *)0 = 1; // expected-warning{{Dereference of null pointer}} *(volatile int *)0 = 1; // expected-warning{{Dereference of null pointer}}
// expected-note@-1 {{Dereference of null pointer}} // expected-note@-1 {{Dereference of null pointer}}
} }
} }

test/Analysis/diagnostics/Inputs/expected-plists/undef-value-param.c.plist

Show First 20 Lines • Show All 202 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>12</integer> <key>line</key><integer>12</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>9</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>1</integer> <key>depth</key><integer>1</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;c&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;c&apos; is not &apos;0&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;c&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;c&apos; is not &apos;0&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 1,123 Lines • Show Last 20 Lines

test/Analysis/diagnostics/Inputs/expected-plists/undef-value-param.m.plist

Show First 20 Lines • Show All 207 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>56</integer> <key>line</key><integer>56</integer>
<key>col</key><integer>11</integer> <key>col</key><integer>11</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>1</integer> <key>depth</key><integer>1</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;err&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;err&apos; is not &apos;0&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;err&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;err&apos; is not &apos;0&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 507 Lines • ▼ Show 20 Lines <array>
<key>line</key><integer>68</integer> <key>line</key><integer>68</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>9</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>1</integer> <key>depth</key><integer>1</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Assuming &apos;err&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;err&apos; is not &apos;0&apos;</string>
<key>message</key> <key>message</key>
<string>Assuming &apos;err&apos; is not equal to &apos;0&apos;</string> <string>Assuming &apos;err&apos; is not &apos;0&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
▲ Show 20 Lines • Show All 275 Lines • Show Last 20 Lines

test/Analysis/diagnostics/Inputs/expected-sarif/sarif-multi-diagnostic-test.c.sarif

Show First 20 Lines • Show All 218 Lines • ▼ Show 20 Lines "runs": [
{ {
"threadFlows": [ "threadFlows": [
{ {
"locations": [ "locations": [
{ {
"importance": "important", "importance": "important",
"location": { "location": {
"message": { "message": {
"text": "Assuming 'i' is equal to '0'" "text": "Assuming 'i' is '0'"
}, },
"physicalLocation": { "physicalLocation": {
"fileLocation": { "fileLocation": {
"fileIndex": 0, "fileIndex": 0,
"uri": "file:sarif-multi-diagnostic-test.c" "uri": "file:sarif-multi-diagnostic-test.c"
}, },
"region": { "region": {
"endColumn": 12, "endColumn": 12,
▲ Show 20 Lines • Show All 85 Lines • Show Last 20 Lines

test/Analysis/diagnostics/macros.cpp

// RUN: %clang_analyze_cc1 -std=c++11 -analyzer-checker=core,osx -analyzer-output=text -verify %s // RUN: %clang_analyze_cc1 -std=c++11 -analyzer-checker=core,osx -analyzer-output=text -verify %s
#include "../Inputs/system-header-simulator.h" #include "../Inputs/system-header-simulator.h"
#include "../Inputs/system-header-simulator-cxx.h" #include "../Inputs/system-header-simulator-cxx.h"
void testIntMacro(unsigned int i) { void testIntMacro(unsigned int i) {
if (i == UINT32_MAX) { // expected-note {{Assuming 'i' is equal to 'UINT32_MAX'}} if (i == UINT32_MAX) { // expected-note {{Assuming 'i' is 'UINT32_MAX'}}
// expected-note@-1 {{Taking true branch}} // expected-note@-1 {{Taking true branch}}
char *p = NULL; // expected-note {{'p' initialized to a null pointer value}} char *p = NULL; // expected-note {{'p' initialized to a null pointer value}}
*p = 7; // expected-warning {{Dereference of null pointer (loaded from variable 'p')}} *p = 7; // expected-warning {{Dereference of null pointer (loaded from variable 'p')}}
// expected-note@-1 {{Dereference of null pointer (loaded from variable 'p')}} // expected-note@-1 {{Dereference of null pointer (loaded from variable 'p')}}
} }
} }
void testNULLMacro(int *p) { void testNULLMacro(int *p) {
if (p == NULL) { // expected-note {{Assuming 'p' is equal to 'NULL'}} if (p == NULL) { // expected-note {{Assuming 'p' is 'NULL'}}
// expected-note@-1 {{Taking true branch}} // expected-note@-1 {{Taking true branch}}
*p = 7; // expected-warning {{Dereference of null pointer (loaded from variable 'p')}} *p = 7; // expected-warning {{Dereference of null pointer (loaded from variable 'p')}}
// expected-note@-1 {{Dereference of null pointer (loaded from variable 'p')}} // expected-note@-1 {{Dereference of null pointer (loaded from variable 'p')}}
} }
} }
void testnullptrMacro(int *p) { void testnullptrMacro(int *p) {
if (p == nullptr) { // expected-note {{Assuming pointer value is null}} if (p == nullptr) { // expected-note {{Assuming pointer value is null}}
// expected-note@-1 {{Taking true branch}} // expected-note@-1 {{Taking true branch}}
*p = 7; // expected-warning {{Dereference of null pointer (loaded from variable 'p')}} *p = 7; // expected-warning {{Dereference of null pointer (loaded from variable 'p')}}
// expected-note@-1 {{Dereference of null pointer (loaded from variable 'p')}} // expected-note@-1 {{Dereference of null pointer (loaded from variable 'p')}}
} }
} }
// There are no path notes on the comparison to float types. // There are no path notes on the comparison to float types.
void testDoubleMacro(double d) { void testDoubleMacro(double d) {
if (d == DBL_MAX) { // expected-note {{Assuming 'd' is equal to 'DBL_MAX'}} if (d == DBL_MAX) { // expected-note {{Assuming 'd' is 'DBL_MAX'}}
// expected-note@-1 {{Taking true branch}} // expected-note@-1 {{Taking true branch}}
char *p = NULL; // expected-note {{'p' initialized to a null pointer value}} char *p = NULL; // expected-note {{'p' initialized to a null pointer value}}
*p = 7; // expected-warning {{Dereference of null pointer (loaded from variable 'p')}} *p = 7; // expected-warning {{Dereference of null pointer (loaded from variable 'p')}}
// expected-note@-1 {{Dereference of null pointer (loaded from variable 'p')}} // expected-note@-1 {{Dereference of null pointer (loaded from variable 'p')}}
} }
} }
void testboolMacro(bool b, int *p) { void testboolMacro(bool b, int *p) {
p = nullptr; // expected-note {{Null pointer value stored to 'p'}} p = nullptr; // expected-note {{Null pointer value stored to 'p'}}
if (b == false) { // expected-note {{Assuming the condition is true}} if (b == false) { // expected-note {{Assuming the condition is true}}
// expected-note@-1 {{Taking true branch}} // expected-note@-1 {{Taking true branch}}
*p = 7; // expected-warning {{Dereference of null pointer (loaded from variable 'p')}} *p = 7; // expected-warning {{Dereference of null pointer (loaded from variable 'p')}}
// expected-note@-1 {{Dereference of null pointer (loaded from variable 'p')}} // expected-note@-1 {{Dereference of null pointer (loaded from variable 'p')}}
} }
} }

test/Analysis/diagnostics/macros.m

// RUN: %clang_analyze_cc1 -analyzer-checker=core,osx -fblocks -analyzer-output=text -verify %s // RUN: %clang_analyze_cc1 -analyzer-checker=core,osx -fblocks -analyzer-output=text -verify %s
#include "../Inputs/system-header-simulator-objc.h" #include "../Inputs/system-header-simulator-objc.h"
@interface NSDictionary : NSObject @interface NSDictionary : NSObject
- (NSUInteger)count; - (NSUInteger)count;
- (id)objectForKey:(id)aKey; - (id)objectForKey:(id)aKey;
- (NSEnumerator *)keyEnumerator; - (NSEnumerator *)keyEnumerator;
@end @end
@interface NSMutableDictionary : NSDictionary @interface NSMutableDictionary : NSDictionary
- (void)setObject:(id)anObject forKey:(id <NSCopying>)aKey; - (void)setObject:(id)anObject forKey:(id <NSCopying>)aKey;
@end @end
void testBOOLMacro(BOOL b) { void testBOOLMacro(BOOL b) {
if (b == YES) { // expected-note {{Assuming 'b' is equal to 'YES'}} if (b == YES) { // expected-note {{Assuming 'b' is 'YES'}}
// expected-note@-1 {{Taking true branch}} // expected-note@-1 {{Taking true branch}}
char *p = NULL;// expected-note {{'p' initialized to a null pointer value}} char *p = NULL;// expected-note {{'p' initialized to a null pointer value}}
*p = 7; // expected-warning {{Dereference of null pointer (loaded from variable 'p')}} *p = 7; // expected-warning {{Dereference of null pointer (loaded from variable 'p')}}
// expected-note@-1 {{Dereference of null pointer (loaded from variable 'p')}} // expected-note@-1 {{Dereference of null pointer (loaded from variable 'p')}}
} }
} }
void testNilMacro(NSMutableDictionary *d, NSObject *o) { void testNilMacro(NSMutableDictionary *d, NSObject *o) {
if (o == nil) // expected-note {{Assuming 'o' is equal to 'nil'}} if (o == nil) // expected-note {{Assuming 'o' is 'nil'}}
// expected-note@-1 {{Taking true branch}} // expected-note@-1 {{Taking true branch}}
[d setObject:o forKey:[o description]]; // expected-warning {{Key argument to 'setObject:forKey:' cannot be nil}} [d setObject:o forKey:[o description]]; // expected-warning {{Key argument to 'setObject:forKey:' cannot be nil}}
// expected-note@-1 {{'description' not called because the receiver is nil}} // expected-note@-1 {{'description' not called because the receiver is nil}}
// expected-note@-2 {{Key argument to 'setObject:forKey:' cannot be nil}} // expected-note@-2 {{Key argument to 'setObject:forKey:' cannot be nil}}
return; return;
} }

test/Analysis/diagnostics/undef-value-param.c

// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=text -verify %s // RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=text -verify %s
// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=plist-multi-file %s -o %t.plist // RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=plist-multi-file %s -o %t.plist
// RUN: cat %t.plist | %diff_plist %S/Inputs/expected-plists/undef-value-param.c.plist - // RUN: cat %t.plist | %diff_plist %S/Inputs/expected-plists/undef-value-param.c.plist -
void foo_irrelevant(int c) { void foo_irrelevant(int c) {
if (c) if (c)
return; return;
c++; c++;
return; return;
} }
void foo(int c, int *x) { void foo(int c, int *x) {
if (c) if (c)
//expected-note@-1{{Assuming 'c' is not equal to '0'}} //expected-note@-1{{Assuming 'c' is not '0'}}
//expected-note@-2{{Taking true branch}} //expected-note@-2{{Taking true branch}}
return; // expected-note{{Returning without writing to '*x'}} return; // expected-note{{Returning without writing to '*x'}}
*x = 5; *x = 5;
} }
int use(int c) { int use(int c) {
int xx; //expected-note {{'xx' declared without an initial value}} int xx; //expected-note {{'xx' declared without an initial value}}
int *y = &xx; int *y = &xx;
▲ Show 20 Lines • Show All 44 Lines • Show Last 20 Lines

test/Analysis/diagnostics/undef-value-param.m

Show First 20 Lines • Show All 48 Lines • ▼ Show 20 Lines CFRelease(storeRef); //expected-warning {{1st function call argument is an uninitialized value}}
//expected-note@-1{{1st function call argument is an uninitialized value}} //expected-note@-1{{1st function call argument is an uninitialized value}}
} }
@end @end
static void CreateRef(SCDynamicStoreRef *storeRef, unsigned x) { static void CreateRef(SCDynamicStoreRef *storeRef, unsigned x) {
unsigned err = 0; unsigned err = 0;
SCDynamicStoreRef ref = anotherCreateRef(&err, x); SCDynamicStoreRef ref = anotherCreateRef(&err, x);
if (err) { if (err) {
//expected-note@-1{{Assuming 'err' is not equal to '0'}} //expected-note@-1{{Assuming 'err' is not '0'}}
//expected-note@-2{{Taking true branch}} //expected-note@-2{{Taking true branch}}
CFRelease(ref); CFRelease(ref);
ref = 0; // expected-note{{nil object reference stored to 'ref'}} ref = 0; // expected-note{{nil object reference stored to 'ref'}}
} }
*storeRef = ref; // expected-note{{nil object reference stored to 'storeRef'}} *storeRef = ref; // expected-note{{nil object reference stored to 'storeRef'}}
} }
static void CreateRefUndef(SCDynamicStoreRef *storeRef, unsigned x) { static void CreateRefUndef(SCDynamicStoreRef *storeRef, unsigned x) {
unsigned err = 0; unsigned err = 0;
SCDynamicStoreRef ref = anotherCreateRef(&err, x); SCDynamicStoreRef ref = anotherCreateRef(&err, x);
if (err) { if (err) {
//expected-note@-1{{Assuming 'err' is not equal to '0'}} //expected-note@-1{{Assuming 'err' is not '0'}}
//expected-note@-2{{Taking true branch}} //expected-note@-2{{Taking true branch}}
CFRelease(ref); CFRelease(ref);
return; // expected-note{{Returning without writing to '*storeRef'}} return; // expected-note{{Returning without writing to '*storeRef'}}
} }
*storeRef = ref; *storeRef = ref;
} }

test/Analysis/inline-plist.c

// RUN: %clang_analyze_cc1 %s -analyzer-checker=core.NullDereference,core.DivideZero -fblocks -analyzer-output=text -analyzer-config suppress-null-return-paths=false -verify -analyzer-config eagerly-assume=false %s // RUN: %clang_analyze_cc1 %s -analyzer-checker=core.NullDereference,core.DivideZero -fblocks -analyzer-output=text -analyzer-config suppress-null-return-paths=false -verify -analyzer-config eagerly-assume=false %s
// RUN: %clang_analyze_cc1 -analyzer-config eagerly-assume=false %s -analyzer-checker=core.NullDereference,core.DivideZero -fblocks -analyzer-output=plist -analyzer-config suppress-null-return-paths=false -o %t // RUN: %clang_analyze_cc1 -analyzer-config eagerly-assume=false %s -analyzer-checker=core.NullDereference,core.DivideZero -fblocks -analyzer-output=plist -analyzer-config suppress-null-return-paths=false -o %t
// RUN: cat %t | %diff_plist %S/Inputs/expected-plists/inline-plist.c.plist - // RUN: cat %t | %diff_plist %S/Inputs/expected-plists/inline-plist.c.plist -
// <rdar://problem/10967815> // <rdar://problem/10967815>
void mmm(int y) { void mmm(int y) {
if (y != 0) if (y != 0)
y++; y++;
} }
int foo(int x, int y) { int foo(int x, int y) {
mmm(y); mmm(y);
if (x != 0) { if (x != 0) {
// expected-note@-1 {{Assuming 'x' is equal to '0'}} // expected-note@-1 {{Assuming 'x' is '0'}}
// expected-note@-2 {{Taking false branch}} // expected-note@-2 {{Taking false branch}}
x++; x++;
} }
return 5/x; // expected-warning{{Division by zero}} expected-note{{Division by zero}} return 5/x; // expected-warning{{Division by zero}} expected-note{{Division by zero}}
} }
// Test a bug triggering only when inlined. // Test a bug triggering only when inlined.
void has_bug(int *p) { void has_bug(int *p) {
Show All 15 Lines
void bar(int *p) { void bar(int *p) {
if (!!p) { if (!!p) {
// expected-note@-1 {{Assuming 'p' is 'null'}} // expected-note@-1 {{Assuming 'p' is 'null'}}
// expected-note@-2 {{Taking false branch}} // expected-note@-2 {{Taking false branch}}
return; return;
} }
if (p == 0) { if (p == 0) {
// expected-note@-1 {{'p' is equal to 'null'}} // expected-note@-1 {{'p' is 'null'}}
// expected-note@-2 {{Taking true branch}} // expected-note@-2 {{Taking true branch}}
triggers_bug(p); triggers_bug(p);
// expected-note@-1 {{Passing null pointer value via 1st parameter 'p'}} // expected-note@-1 {{Passing null pointer value via 1st parameter 'p'}}
// expected-note@-2 {{Calling 'triggers_bug'}} // expected-note@-2 {{Calling 'triggers_bug'}}
} }
} }
// ========================================================================== // // ========================================================================== //
Show All 35 Lines

test/Analysis/loop-widening-notes.cpp

// RUN: %clang_analyze_cc1 -analyzer-checker=core,alpha -analyzer-max-loop 2 -analyzer-config widen-loops=true -analyzer-output=text -verify -analyzer-config eagerly-assume=false %s // RUN: %clang_analyze_cc1 -analyzer-checker=core,alpha -analyzer-max-loop 2 -analyzer-config widen-loops=true -analyzer-output=text -verify -analyzer-config eagerly-assume=false %s
int *p_a; int *p_a;
int bar(); int bar();
int flag_a; int flag_a;
int test_for_bug_25609() { int test_for_bug_25609() {
if (p_a == 0) // expected-note {{Assuming 'p_a' is equal to 'null'}} if (p_a == 0) // expected-note {{Assuming 'p_a' is 'null'}}
// expected-note@-1 {{Taking true branch}} // expected-note@-1 {{Taking true branch}}
bar(); bar();
for (int i = 0; // expected-note {{Loop condition is true. Entering loop body}} for (int i = 0; // expected-note {{Loop condition is true. Entering loop body}}
// expected-note@-1 {{Loop condition is false. Execution continues on line 16}} // expected-note@-1 {{Loop condition is false. Execution continues on line 16}}
++i, // expected-note {{Value assigned to 'p_a'}} ++i, // expected-note {{Value assigned to 'p_a'}}
i < flag_a; i < flag_a;
++i) {} ++i) {}
Show All 26 Lines
int flag_c; int flag_c;
int do_while_analyzer_output() { int do_while_analyzer_output() {
int num = 10; int num = 10;
do { // expected-note {{Loop condition is true. Execution continues on line 47}} do { // expected-note {{Loop condition is true. Execution continues on line 47}}
// expected-note@-1 {{Loop condition is false. Exiting loop}} // expected-note@-1 {{Loop condition is false. Exiting loop}}
num--; num--;
} while (flag_c-- > 0); //expected-note {{Value assigned to 'num'}} } while (flag_c-- > 0); //expected-note {{Value assigned to 'num'}}
int local = 0; int local = 0;
if (num == 0) // expected-note {{Assuming 'num' is equal to '0'}} if (num == 0) // expected-note {{Assuming 'num' is '0'}}
// expected-note@-1 {{Taking true branch}} // expected-note@-1 {{Taking true branch}}
local = 10 / num; // no-crash expected-warning {{Division by zero}} local = 10 / num; // no-crash expected-warning {{Division by zero}}
// expected-note@-1 {{Division by zero}} // expected-note@-1 {{Division by zero}}
return local; return local;
} }
int flag_d; int flag_d;
int test_for_loop() { int test_for_loop() {
int num = 10; int num = 10;
for (int i = 0; // expected-note {{Loop condition is true. Entering loop body}} for (int i = 0; // expected-note {{Loop condition is true. Entering loop body}}
// expected-note@-1 {{Loop condition is false. Execution continues on line 67}} // expected-note@-1 {{Loop condition is false. Execution continues on line 67}}
new int(10), // expected-note {{Value assigned to 'num'}} new int(10), // expected-note {{Value assigned to 'num'}}
i < flag_d; i < flag_d;
++i) { ++i) {
++num; ++num;
} }
if (num == 0) // expected-note {{Assuming 'num' is equal to '0'}} if (num == 0) // expected-note {{Assuming 'num' is '0'}}
// expected-note@-1 {{Taking true branch}} // expected-note@-1 {{Taking true branch}}
flag_d += 10; flag_d += 10;
return flag_d / num; // no-crash expected-warning {{Division by zero}} return flag_d / num; // no-crash expected-warning {{Division by zero}}
// expected-note@-1 {{Division by zero}} // expected-note@-1 {{Division by zero}}
} }

test/Analysis/retain-release-path-notes.m

Show First 20 Lines • Show All 198 Lines • ▼ Show 20 Lines
-(id)initY; -(id)initY;
-(id)initZ; -(id)initZ;
+(void)test; +(void)test;
@end @end
@implementation MyObj @implementation MyObj
-(id)initX { -(id)initX {
if (Cond) // expected-note {{Assuming 'Cond' is not equal to '0'}} if (Cond) // expected-note {{Assuming 'Cond' is not '0'}}
// expected-note@-1{{Taking true branch}} // expected-note@-1{{Taking true branch}}
return 0; return 0;
self = [super init]; self = [super init];
return self; return self;
} }
-(id)initY { -(id)initY {
self = [super init]; //expected-note {{Method returns an instance of MyObj with a +1 retain count}} self = [super init]; //expected-note {{Method returns an instance of MyObj with a +1 retain count}}
▲ Show 20 Lines • Show All 116 Lines • Show Last 20 Lines

test/Analysis/test-after-div-zero.c

Show First 20 Lines • Show All 51 Lines • ▼ Show 20 Lines
void err_ppnot(int x) { void err_ppnot(int x) {
int *y = &x; int *y = &x;
int **z = &y; int **z = &y;
var = 77 / **z; // expected-note {{Division with compared value made here}} var = 77 / **z; // expected-note {{Division with compared value made here}}
if (!x) {} // expected-warning {{Value being compared against zero has already been used for division}} if (!x) {} // expected-warning {{Value being compared against zero has already been used for division}}
} // expected-note@-1 {{Value being compared against zero has already been used for division}} } // expected-note@-1 {{Value being compared against zero has already been used for division}}
void err_orig_checker(int x) { void err_orig_checker(int x) {
if (x != 0) // expected-note {{Assuming 'x' is equal to '0'}} expected-note {{Taking false branch}} if (x != 0) // expected-note {{Assuming 'x' is '0'}} expected-note {{Taking false branch}}
return; return;
var = 77 / x; // expected-warning {{Division by zero}} expected-note {{Division by zero}} var = 77 / x; // expected-warning {{Division by zero}} expected-note {{Division by zero}}
if (!x) {} // no-warning if (!x) {} // no-warning
} }
void ok_other(int x, int y) { void ok_other(int x, int y) {
var = 77 / y; var = 77 / y;
if (x == 0) { if (x == 0) {
▲ Show 20 Lines • Show All 136 Lines • Show Last 20 Lines

test/Analysis/uninit-vals.c

Show First 20 Lines • Show All 57 Lines • ▼ Show 20 Lines
int f5(void) { int f5(void) {
struct f5_struct s; struct f5_struct s;
f5_aux(&s); f5_aux(&s);
return s.x; // no-warning return s.x; // no-warning
} }
void f6(int x) { void f6(int x) {
int a[20]; int a[20];
if (x == 25) {} // expected-note{{Assuming 'x' is equal to '25'}} if (x == 25) {} // expected-note{{Assuming 'x' is '25'}}
// expected-note@-1{{Taking true branch}} // expected-note@-1{{Taking true branch}}
if (a[x] == 123) {} // expected-warning{{The left operand of '==' is a garbage value due to array index out of bounds}} if (a[x] == 123) {} // expected-warning{{The left operand of '==' is a garbage value due to array index out of bounds}}
// expected-note@-1{{The left operand of '==' is a garbage value due to array index out of bounds}} // expected-note@-1{{The left operand of '==' is a garbage value due to array index out of bounds}}
} }
int ret_uninit() { int ret_uninit() {
int i; // expected-note{{'i' declared without an initial value}} int i; // expected-note{{'i' declared without an initial value}}
int *p = &i; int *p = &i;
▲ Show 20 Lines • Show All 125 Lines • Show Last 20 Lines

test/Analysis/use-after-move.cpp

Show First 20 Lines • Show All 217 Lines • ▼ Show 20 Linesvoid reinitializationTest(int i) {
b = std::move(a); b = std::move(a);
a = A(); a = A();
a.foo(); a.foo();
} }
{ {
A a; A a;
if (i == 1) { if (i == 1) {
#ifndef PEACEFUL #ifndef PEACEFUL
// expected-note@-2 {{Assuming 'i' is not equal to '1'}} // expected-note@-2 {{Assuming 'i' is not '1'}}
// expected-note@-3 {{Taking false branch}} // expected-note@-3 {{Taking false branch}}
// And the other report: // And the other report:
// expected-note@-5 {{Assuming 'i' is not equal to '1'}} // expected-note@-5 {{Assuming 'i' is not '1'}}
// expected-note@-6 {{Taking false branch}} // expected-note@-6 {{Taking false branch}}
#endif #endif
A b; A b;
b = std::move(a); b = std::move(a);
a = A(); a = A();
} }
if (i == 2) { if (i == 2) {
#ifndef PEACEFUL #ifndef PEACEFUL
// expected-note@-2 {{Assuming 'i' is not equal to '2'}} // expected-note@-2 {{Assuming 'i' is not '2'}}
// expected-note@-3 {{Taking false branch}} // expected-note@-3 {{Taking false branch}}
// And the other report: // And the other report:
// expected-note@-5 {{Assuming 'i' is not equal to '2'}} // expected-note@-5 {{Assuming 'i' is not '2'}}
// expected-note@-6 {{Taking false branch}} // expected-note@-6 {{Taking false branch}}
#endif #endif
a.foo(); // no-warning a.foo(); // no-warning
} }
} }
{ {
A a; A a;
if (i == 1) { if (i == 1) {
#ifndef PEACEFUL #ifndef PEACEFUL
// expected-note@-2 {{'i' is not equal to '1'}} // expected-note@-2 {{'i' is not '1'}}
// expected-note@-3 {{Taking false branch}} // expected-note@-3 {{Taking false branch}}
// expected-note@-4 {{'i' is not equal to '1'}} // expected-note@-4 {{'i' is not '1'}}
// expected-note@-5 {{Taking false branch}} // expected-note@-5 {{Taking false branch}}
#endif #endif
std::move(a); std::move(a);
} }
if (i == 2) { if (i == 2) {
#ifndef PEACEFUL #ifndef PEACEFUL
// expected-note@-2 {{'i' is not equal to '2'}} // expected-note@-2 {{'i' is not '2'}}
// expected-note@-3 {{Taking false branch}} // expected-note@-3 {{Taking false branch}}
// expected-note@-4 {{'i' is not equal to '2'}} // expected-note@-4 {{'i' is not '2'}}
// expected-note@-5 {{Taking false branch}} // expected-note@-5 {{Taking false branch}}
#endif #endif
a = A(); a = A();
a.foo(); a.foo();
} }
} }
// The built-in assignment operator should also be recognized as a // The built-in assignment operator should also be recognized as a
// reinitialization. (std::move() may be called on built-in types in template // reinitialization. (std::move() may be called on built-in types in template
▲ Show 20 Lines • Show All 889 Lines • Show Last 20 Lines