HomeSort by relevance Sort by last modified time
    Searched refs:ConstraintMgr (Results 1 - 16 of 16) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 454 std::unique_ptr<ConstraintManager> ConstraintMgr;
518 ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
624 ConstraintMgr->EndPath(St);
648 return getStateManager().ConstraintMgr
657 return getStateManager().ConstraintMgr
671 return getStateManager().ConstraintMgr->assumeWithinInclusiveRange(
684 return getStateManager().ConstraintMgr
  /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 453 std::unique_ptr<ConstraintManager> ConstraintMgr;
517 ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
623 ConstraintMgr->EndPath(St);
647 return getStateManager().ConstraintMgr
656 return getStateManager().ConstraintMgr
668 return getStateManager().ConstraintMgr->assumeInclusiveRange(
681 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual(
  /prebuilts/clang/host/darwin-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 465 std::unique_ptr<ConstraintManager> ConstraintMgr;
530 ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
636 ConstraintMgr->EndPath(St);
660 return getStateManager().ConstraintMgr
669 return getStateManager().ConstraintMgr
681 return getStateManager().ConstraintMgr->assumeInclusiveRange(
694 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual(
    [all...]
  /prebuilts/clang/host/darwin-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 465 std::unique_ptr<ConstraintManager> ConstraintMgr;
530 ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
636 ConstraintMgr->EndPath(St);
660 return getStateManager().ConstraintMgr
669 return getStateManager().ConstraintMgr
681 return getStateManager().ConstraintMgr->assumeInclusiveRange(
694 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual(
    [all...]
  /prebuilts/clang/host/darwin-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 465 std::unique_ptr<ConstraintManager> ConstraintMgr;
530 ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
636 ConstraintMgr->EndPath(St);
660 return getStateManager().ConstraintMgr
669 return getStateManager().ConstraintMgr
681 return getStateManager().ConstraintMgr->assumeInclusiveRange(
694 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual(
    [all...]
  /prebuilts/clang/host/darwin-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 465 std::unique_ptr<ConstraintManager> ConstraintMgr;
530 ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
636 ConstraintMgr->EndPath(St);
660 return getStateManager().ConstraintMgr
669 return getStateManager().ConstraintMgr
681 return getStateManager().ConstraintMgr->assumeInclusiveRange(
694 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual(
    [all...]
  /prebuilts/clang/host/darwin-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 465 std::unique_ptr<ConstraintManager> ConstraintMgr;
530 ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
636 ConstraintMgr->EndPath(St);
660 return getStateManager().ConstraintMgr
669 return getStateManager().ConstraintMgr
681 return getStateManager().ConstraintMgr->assumeInclusiveRange(
694 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual(
    [all...]
  /prebuilts/clang/host/darwin-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 465 std::unique_ptr<ConstraintManager> ConstraintMgr;
530 ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
636 ConstraintMgr->EndPath(St);
660 return getStateManager().ConstraintMgr
669 return getStateManager().ConstraintMgr
681 return getStateManager().ConstraintMgr->assumeInclusiveRange(
694 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual(
    [all...]
  /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 453 std::unique_ptr<ConstraintManager> ConstraintMgr;
517 ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
623 ConstraintMgr->EndPath(St);
647 return getStateManager().ConstraintMgr
656 return getStateManager().ConstraintMgr
668 return getStateManager().ConstraintMgr->assumeInclusiveRange(
681 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual(
  /prebuilts/clang/host/linux-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 465 std::unique_ptr<ConstraintManager> ConstraintMgr;
530 ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
636 ConstraintMgr->EndPath(St);
660 return getStateManager().ConstraintMgr
669 return getStateManager().ConstraintMgr
681 return getStateManager().ConstraintMgr->assumeInclusiveRange(
694 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual(
    [all...]
  /prebuilts/clang/host/linux-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 465 std::unique_ptr<ConstraintManager> ConstraintMgr;
530 ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
636 ConstraintMgr->EndPath(St);
660 return getStateManager().ConstraintMgr
669 return getStateManager().ConstraintMgr
681 return getStateManager().ConstraintMgr->assumeInclusiveRange(
694 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual(
    [all...]
  /prebuilts/clang/host/linux-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 465 std::unique_ptr<ConstraintManager> ConstraintMgr;
530 ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
636 ConstraintMgr->EndPath(St);
660 return getStateManager().ConstraintMgr
669 return getStateManager().ConstraintMgr
681 return getStateManager().ConstraintMgr->assumeInclusiveRange(
694 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual(
    [all...]
  /prebuilts/clang/host/linux-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 465 std::unique_ptr<ConstraintManager> ConstraintMgr;
530 ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
636 ConstraintMgr->EndPath(St);
660 return getStateManager().ConstraintMgr
669 return getStateManager().ConstraintMgr
681 return getStateManager().ConstraintMgr->assumeInclusiveRange(
694 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual(
    [all...]
  /prebuilts/clang/host/linux-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 465 std::unique_ptr<ConstraintManager> ConstraintMgr;
530 ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
636 ConstraintMgr->EndPath(St);
660 return getStateManager().ConstraintMgr
669 return getStateManager().ConstraintMgr
681 return getStateManager().ConstraintMgr->assumeInclusiveRange(
694 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual(
    [all...]
  /prebuilts/clang/host/linux-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 465 std::unique_ptr<ConstraintManager> ConstraintMgr;
530 ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
636 ConstraintMgr->EndPath(St);
660 return getStateManager().ConstraintMgr
669 return getStateManager().ConstraintMgr
681 return getStateManager().ConstraintMgr->assumeInclusiveRange(
694 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual(
    [all...]
  /external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp 79 ConstraintMgr = (*CreateCMgr)(*this, SubEng);
111 return ConstraintMgr->removeDeadBindings(Result, SymReaper);
361 return getStateManager().ConstraintMgr->isNull(this, Sym);

Completed in 469 milliseconds