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

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 71 typedef std::pair<ProgramStateRef, ProgramStateRef> ProgramStatePair;
75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) {
88 return ProgramStatePair((ProgramStateRef)nullptr, State);
96 return ProgramStatePair(State, (ProgramStateRef)nullptr);
99 return ProgramStatePair(StTrue, StFalse);
108 virtual ProgramStatePair assumeWithinInclusiveRangeDual(
117 return ProgramStatePair((ProgramStateRef)nullptr, State);
125 return ProgramStatePair(State, (ProgramStateRef)nullptr);
128 return ProgramStatePair(StInRange, StOutOfRange);
  /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 71 typedef std::pair<ProgramStateRef, ProgramStateRef> ProgramStatePair;
75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) {
88 return ProgramStatePair((ProgramStateRef)nullptr, State);
96 return ProgramStatePair(State, (ProgramStateRef)nullptr);
99 return ProgramStatePair(StTrue, StFalse);
108 virtual ProgramStatePair assumeInclusiveRangeDual(ProgramStateRef State,
118 return ProgramStatePair((ProgramStateRef)nullptr, State);
126 return ProgramStatePair(State, (ProgramStateRef)nullptr);
129 return ProgramStatePair(StInRange, StOutOfRange);
  /prebuilts/clang/host/darwin-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 71 typedef std::pair<ProgramStateRef, ProgramStateRef> ProgramStatePair;
75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) {
88 return ProgramStatePair((ProgramStateRef)nullptr, State);
96 return ProgramStatePair(State, (ProgramStateRef)nullptr);
99 return ProgramStatePair(StTrue, StFalse);
108 virtual ProgramStatePair assumeInclusiveRangeDual(ProgramStateRef State,
118 return ProgramStatePair((ProgramStateRef)nullptr, State);
126 return ProgramStatePair(State, (ProgramStateRef)nullptr);
129 return ProgramStatePair(StInRange, StOutOfRange);
  /prebuilts/clang/host/darwin-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 71 typedef std::pair<ProgramStateRef, ProgramStateRef> ProgramStatePair;
75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) {
88 return ProgramStatePair((ProgramStateRef)nullptr, State);
96 return ProgramStatePair(State, (ProgramStateRef)nullptr);
99 return ProgramStatePair(StTrue, StFalse);
108 virtual ProgramStatePair assumeInclusiveRangeDual(ProgramStateRef State,
118 return ProgramStatePair((ProgramStateRef)nullptr, State);
126 return ProgramStatePair(State, (ProgramStateRef)nullptr);
129 return ProgramStatePair(StInRange, StOutOfRange);
  /prebuilts/clang/host/darwin-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 71 typedef std::pair<ProgramStateRef, ProgramStateRef> ProgramStatePair;
75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) {
88 return ProgramStatePair((ProgramStateRef)nullptr, State);
96 return ProgramStatePair(State, (ProgramStateRef)nullptr);
99 return ProgramStatePair(StTrue, StFalse);
108 virtual ProgramStatePair assumeInclusiveRangeDual(ProgramStateRef State,
118 return ProgramStatePair((ProgramStateRef)nullptr, State);
126 return ProgramStatePair(State, (ProgramStateRef)nullptr);
129 return ProgramStatePair(StInRange, StOutOfRange);
  /prebuilts/clang/host/darwin-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 71 typedef std::pair<ProgramStateRef, ProgramStateRef> ProgramStatePair;
75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) {
88 return ProgramStatePair((ProgramStateRef)nullptr, State);
96 return ProgramStatePair(State, (ProgramStateRef)nullptr);
99 return ProgramStatePair(StTrue, StFalse);
108 virtual ProgramStatePair assumeInclusiveRangeDual(ProgramStateRef State,
118 return ProgramStatePair((ProgramStateRef)nullptr, State);
126 return ProgramStatePair(State, (ProgramStateRef)nullptr);
129 return ProgramStatePair(StInRange, StOutOfRange);
  /prebuilts/clang/host/darwin-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 71 typedef std::pair<ProgramStateRef, ProgramStateRef> ProgramStatePair;
75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) {
88 return ProgramStatePair((ProgramStateRef)nullptr, State);
96 return ProgramStatePair(State, (ProgramStateRef)nullptr);
99 return ProgramStatePair(StTrue, StFalse);
108 virtual ProgramStatePair assumeInclusiveRangeDual(ProgramStateRef State,
118 return ProgramStatePair((ProgramStateRef)nullptr, State);
126 return ProgramStatePair(State, (ProgramStateRef)nullptr);
129 return ProgramStatePair(StInRange, StOutOfRange);
  /prebuilts/clang/host/darwin-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 71 typedef std::pair<ProgramStateRef, ProgramStateRef> ProgramStatePair;
75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) {
88 return ProgramStatePair((ProgramStateRef)nullptr, State);
96 return ProgramStatePair(State, (ProgramStateRef)nullptr);
99 return ProgramStatePair(StTrue, StFalse);
108 virtual ProgramStatePair assumeInclusiveRangeDual(ProgramStateRef State,
118 return ProgramStatePair((ProgramStateRef)nullptr, State);
126 return ProgramStatePair(State, (ProgramStateRef)nullptr);
129 return ProgramStatePair(StInRange, StOutOfRange);
  /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 71 typedef std::pair<ProgramStateRef, ProgramStateRef> ProgramStatePair;
75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) {
88 return ProgramStatePair((ProgramStateRef)nullptr, State);
96 return ProgramStatePair(State, (ProgramStateRef)nullptr);
99 return ProgramStatePair(StTrue, StFalse);
108 virtual ProgramStatePair assumeInclusiveRangeDual(ProgramStateRef State,
118 return ProgramStatePair((ProgramStateRef)nullptr, State);
126 return ProgramStatePair(State, (ProgramStateRef)nullptr);
129 return ProgramStatePair(StInRange, StOutOfRange);
  /prebuilts/clang/host/linux-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 71 typedef std::pair<ProgramStateRef, ProgramStateRef> ProgramStatePair;
75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) {
88 return ProgramStatePair((ProgramStateRef)nullptr, State);
96 return ProgramStatePair(State, (ProgramStateRef)nullptr);
99 return ProgramStatePair(StTrue, StFalse);
108 virtual ProgramStatePair assumeInclusiveRangeDual(ProgramStateRef State,
118 return ProgramStatePair((ProgramStateRef)nullptr, State);
126 return ProgramStatePair(State, (ProgramStateRef)nullptr);
129 return ProgramStatePair(StInRange, StOutOfRange);
  /prebuilts/clang/host/linux-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 71 typedef std::pair<ProgramStateRef, ProgramStateRef> ProgramStatePair;
75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) {
88 return ProgramStatePair((ProgramStateRef)nullptr, State);
96 return ProgramStatePair(State, (ProgramStateRef)nullptr);
99 return ProgramStatePair(StTrue, StFalse);
108 virtual ProgramStatePair assumeInclusiveRangeDual(ProgramStateRef State,
118 return ProgramStatePair((ProgramStateRef)nullptr, State);
126 return ProgramStatePair(State, (ProgramStateRef)nullptr);
129 return ProgramStatePair(StInRange, StOutOfRange);
  /prebuilts/clang/host/linux-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 71 typedef std::pair<ProgramStateRef, ProgramStateRef> ProgramStatePair;
75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) {
88 return ProgramStatePair((ProgramStateRef)nullptr, State);
96 return ProgramStatePair(State, (ProgramStateRef)nullptr);
99 return ProgramStatePair(StTrue, StFalse);
108 virtual ProgramStatePair assumeInclusiveRangeDual(ProgramStateRef State,
118 return ProgramStatePair((ProgramStateRef)nullptr, State);
126 return ProgramStatePair(State, (ProgramStateRef)nullptr);
129 return ProgramStatePair(StInRange, StOutOfRange);
  /prebuilts/clang/host/linux-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 71 typedef std::pair<ProgramStateRef, ProgramStateRef> ProgramStatePair;
75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) {
88 return ProgramStatePair((ProgramStateRef)nullptr, State);
96 return ProgramStatePair(State, (ProgramStateRef)nullptr);
99 return ProgramStatePair(StTrue, StFalse);
108 virtual ProgramStatePair assumeInclusiveRangeDual(ProgramStateRef State,
118 return ProgramStatePair((ProgramStateRef)nullptr, State);
126 return ProgramStatePair(State, (ProgramStateRef)nullptr);
129 return ProgramStatePair(StInRange, StOutOfRange);
  /prebuilts/clang/host/linux-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 71 typedef std::pair<ProgramStateRef, ProgramStateRef> ProgramStatePair;
75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) {
88 return ProgramStatePair((ProgramStateRef)nullptr, State);
96 return ProgramStatePair(State, (ProgramStateRef)nullptr);
99 return ProgramStatePair(StTrue, StFalse);
108 virtual ProgramStatePair assumeInclusiveRangeDual(ProgramStateRef State,
118 return ProgramStatePair((ProgramStateRef)nullptr, State);
126 return ProgramStatePair(State, (ProgramStateRef)nullptr);
129 return ProgramStatePair(StInRange, StOutOfRange);
  /prebuilts/clang/host/linux-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 71 typedef std::pair<ProgramStateRef, ProgramStateRef> ProgramStatePair;
75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) {
88 return ProgramStatePair((ProgramStateRef)nullptr, State);
96 return ProgramStatePair(State, (ProgramStateRef)nullptr);
99 return ProgramStatePair(StTrue, StFalse);
108 virtual ProgramStatePair assumeInclusiveRangeDual(ProgramStateRef State,
118 return ProgramStatePair((ProgramStateRef)nullptr, State);
126 return ProgramStatePair(State, (ProgramStateRef)nullptr);
129 return ProgramStatePair(StInRange, StOutOfRange);
  /external/clang/lib/StaticAnalyzer/Core/
ConstraintManager.cpp 33 const ProgramStatePair &P = assumeDual(State, V);

Completed in 682 milliseconds