HomeSort by relevance Sort by last modified time
    Searched refs:assumption (Results 76 - 100 of 178) sorted by null

1 2 34 5 6 7 8

  /prebuilts/clang/host/darwin-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 161 // symbolic values. A call to 'assume' indicates an assumption being placed
168 // (3) A binary value "Assumption" that indicates whether the constraint is
175 /// Assumes that the value of \p cond is zero (if \p assumption is "false")
176 /// or non-zero (if \p assumption is "true").
180 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
192 bool assumption,
196 /// (if \p assumption is "true") or it is fully out of this range
197 /// (if \p assumption is "false").
204 bool assumption) const;
656 bool Assumption) const
    [all...]
  /prebuilts/clang/host/darwin-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 161 // symbolic values. A call to 'assume' indicates an assumption being placed
168 // (3) A binary value "Assumption" that indicates whether the constraint is
175 /// Assumes that the value of \p cond is zero (if \p assumption is "false")
176 /// or non-zero (if \p assumption is "true").
180 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
192 bool assumption,
196 /// (if \p assumption is "true") or it is fully out of this range
197 /// (if \p assumption is "false").
204 bool assumption) const;
656 bool Assumption) const
    [all...]
  /prebuilts/clang/host/darwin-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 161 // symbolic values. A call to 'assume' indicates an assumption being placed
168 // (3) A binary value "Assumption" that indicates whether the constraint is
175 /// Assumes that the value of \p cond is zero (if \p assumption is "false")
176 /// or non-zero (if \p assumption is "true").
180 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
192 bool assumption,
196 /// (if \p assumption is "true") or it is fully out of this range
197 /// (if \p assumption is "false").
204 bool assumption) const;
656 bool Assumption) const
    [all...]
  /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 160 // symbolic values. A call to 'assume' indicates an assumption being placed
167 // (3) A binary value "Assumption" that indicates whether the constraint is
174 /// Assumes that the value of \p cond is zero (if \p assumption is "false")
175 /// or non-zero (if \p assumption is "true").
179 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
191 bool assumption,
195 /// (if \p assumption is "true") or it is fully out of this range
196 /// (if \p assumption is "false").
203 bool assumption) const;
643 bool Assumption) const
    [all...]
  /prebuilts/clang/host/linux-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 161 // symbolic values. A call to 'assume' indicates an assumption being placed
168 // (3) A binary value "Assumption" that indicates whether the constraint is
175 /// Assumes that the value of \p cond is zero (if \p assumption is "false")
176 /// or non-zero (if \p assumption is "true").
180 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
192 bool assumption,
196 /// (if \p assumption is "true") or it is fully out of this range
197 /// (if \p assumption is "false").
204 bool assumption) const;
656 bool Assumption) const
    [all...]
  /prebuilts/clang/host/linux-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 161 // symbolic values. A call to 'assume' indicates an assumption being placed
168 // (3) A binary value "Assumption" that indicates whether the constraint is
175 /// Assumes that the value of \p cond is zero (if \p assumption is "false")
176 /// or non-zero (if \p assumption is "true").
180 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
192 bool assumption,
196 /// (if \p assumption is "true") or it is fully out of this range
197 /// (if \p assumption is "false").
204 bool assumption) const;
656 bool Assumption) const
    [all...]
  /prebuilts/clang/host/linux-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 161 // symbolic values. A call to 'assume' indicates an assumption being placed
168 // (3) A binary value "Assumption" that indicates whether the constraint is
175 /// Assumes that the value of \p cond is zero (if \p assumption is "false")
176 /// or non-zero (if \p assumption is "true").
180 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
192 bool assumption,
196 /// (if \p assumption is "true") or it is fully out of this range
197 /// (if \p assumption is "false").
204 bool assumption) const;
656 bool Assumption) const
    [all...]
  /prebuilts/clang/host/linux-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 161 // symbolic values. A call to 'assume' indicates an assumption being placed
168 // (3) A binary value "Assumption" that indicates whether the constraint is
175 /// Assumes that the value of \p cond is zero (if \p assumption is "false")
176 /// or non-zero (if \p assumption is "true").
180 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
192 bool assumption,
196 /// (if \p assumption is "true") or it is fully out of this range
197 /// (if \p assumption is "false").
204 bool assumption) const;
656 bool Assumption) const
    [all...]
  /prebuilts/clang/host/linux-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 161 // symbolic values. A call to 'assume' indicates an assumption being placed
168 // (3) A binary value "Assumption" that indicates whether the constraint is
175 /// Assumes that the value of \p cond is zero (if \p assumption is "false")
176 /// or non-zero (if \p assumption is "true").
180 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
192 bool assumption,
196 /// (if \p assumption is "true") or it is fully out of this range
197 /// (if \p assumption is "false").
204 bool assumption) const;
656 bool Assumption) const
    [all...]
  /prebuilts/clang/host/linux-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 161 // symbolic values. A call to 'assume' indicates an assumption being placed
168 // (3) A binary value "Assumption" that indicates whether the constraint is
175 /// Assumes that the value of \p cond is zero (if \p assumption is "false")
176 /// or non-zero (if \p assumption is "true").
180 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
192 bool assumption,
196 /// (if \p assumption is "true") or it is fully out of this range
197 /// (if \p assumption is "false").
204 bool assumption) const;
656 bool Assumption) const
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/
CheckerManager.h 370 SVal Cond, bool Assumption);
465 const SVal &cond, bool assumption)>
  /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/
CheckerManager.h 368 SVal Cond, bool Assumption);
462 const SVal &cond, bool assumption)>
  /prebuilts/clang/host/darwin-x86/clang-4393122/include/clang/StaticAnalyzer/Core/
CheckerManager.h 368 SVal Cond, bool Assumption);
462 const SVal &cond, bool assumption)>
  /prebuilts/clang/host/darwin-x86/clang-4479392/include/clang/StaticAnalyzer/Core/
CheckerManager.h 368 SVal Cond, bool Assumption);
462 const SVal &cond, bool assumption)>
  /prebuilts/clang/host/darwin-x86/clang-4579689/include/clang/StaticAnalyzer/Core/
CheckerManager.h 368 SVal Cond, bool Assumption);
462 const SVal &cond, bool assumption)>
  /prebuilts/clang/host/darwin-x86/clang-4630689/include/clang/StaticAnalyzer/Core/
CheckerManager.h 368 SVal Cond, bool Assumption);
462 const SVal &cond, bool assumption)>
  /prebuilts/clang/host/darwin-x86/clang-4639204/include/clang/StaticAnalyzer/Core/
CheckerManager.h 368 SVal Cond, bool Assumption);
462 const SVal &cond, bool assumption)>
  /prebuilts/clang/host/darwin-x86/clang-4691093/include/clang/StaticAnalyzer/Core/
CheckerManager.h 368 SVal Cond, bool Assumption);
462 const SVal &cond, bool assumption)>
  /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/
CheckerManager.h 368 SVal Cond, bool Assumption);
462 const SVal &cond, bool assumption)>
  /prebuilts/clang/host/linux-x86/clang-4393122/include/clang/StaticAnalyzer/Core/
CheckerManager.h 368 SVal Cond, bool Assumption);
462 const SVal &cond, bool assumption)>
  /prebuilts/clang/host/linux-x86/clang-4479392/include/clang/StaticAnalyzer/Core/
CheckerManager.h 368 SVal Cond, bool Assumption);
462 const SVal &cond, bool assumption)>
  /prebuilts/clang/host/linux-x86/clang-4579689/include/clang/StaticAnalyzer/Core/
CheckerManager.h 368 SVal Cond, bool Assumption);
462 const SVal &cond, bool assumption)>
  /prebuilts/clang/host/linux-x86/clang-4630689/include/clang/StaticAnalyzer/Core/
CheckerManager.h 368 SVal Cond, bool Assumption);
462 const SVal &cond, bool assumption)>
  /prebuilts/clang/host/linux-x86/clang-4639204/include/clang/StaticAnalyzer/Core/
CheckerManager.h 368 SVal Cond, bool Assumption);
462 const SVal &cond, bool assumption)>
  /prebuilts/clang/host/linux-x86/clang-4691093/include/clang/StaticAnalyzer/Core/
CheckerManager.h 368 SVal Cond, bool Assumption);
462 const SVal &cond, bool assumption)>

Completed in 638 milliseconds

1 2 34 5 6 7 8