Home
last modified time | relevance | path

Searched refs:GotoLabel (Results 1 – 8 of 8) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSVals.h475 class GotoLabel : public Loc {
477 explicit GotoLabel(LabelDecl *Label) : Loc(GotoLabelKind, Label) {} in GotoLabel() function
485 GotoLabel() {} in GotoLabel() function
DSVals.def61 LOC_SVAL(GotoLabel, Loc)
DSValBuilder.h314 return loc::GotoLabel(expr->getLabel()); in makeLoc()
/external/clang/lib/StaticAnalyzer/Core/
DSVals.cpp314 os << "&&" << castAs<loc::GotoLabel>().getLabel()->getName(); in dumpToStream()
DSimpleSValBuilder.cpp672 assert(rhs.getAs<loc::MemRegionVal>() || rhs.getAs<loc::GotoLabel>()); in evalBinOpLL()
DExprEngine.cpp1720 if (Optional<loc::GotoLabel> LV = V.getAs<loc::GotoLabel>()) { in processIndirectGoto()
/external/clang/lib/StaticAnalyzer/Checkers/
DCStringChecker.cpp718 if (Optional<loc::GotoLabel> Label = Buf.getAs<loc::GotoLabel>()) { in getCStringLength()
DMallocChecker.cpp1516 else if (Optional<loc::GotoLabel> Label = V.getAs<loc::GotoLabel>()) in SummarizeValue()