Home
last modified time | relevance | path

Searched defs:assume (Results 1 – 10 of 10) sorted by relevance

/external/linux-kselftest/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/
Dassume.h7 #define assume(x) \ macro
14 #define assume(x) __CPROVER_assume(x) macro
/external/llvm-project/clang/lib/StaticAnalyzer/Core/
DSimpleConstraintManager.cpp25 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State, in assume() function in clang::ento::SimpleConstraintManager
44 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State, in assume() function in clang::ento::SimpleConstraintManager
/external/mesa3d/src/util/
Dmacros.h96 #define assume(expr) \ macro
102 #define assume(expr) ((expr) ? ((void) 0) \ macro
106 #define assume(expr) __assume(expr) macro
108 #define assume(expr) assert(expr) macro
/external/clang/lib/StaticAnalyzer/Core/
DSimpleConstraintManager.cpp68 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, in assume() function in clang::ento::SimpleConstraintManager
87 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, in assume() function in clang::ento::SimpleConstraintManager
/external/clang/test/Analysis/inlining/
Dinline-defensive-checks.c115 void idcZero(int assume) { in idcZero()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DProgramState.h643 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, in assume() function
653 ProgramState::assume(DefinedOrUnknownSVal Cond) const { in assume() function
/external/curl/lib/
Dparsedate.c272 enum assume { enum
/external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DProgramState.h666 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, in assume() function
676 ProgramState::assume(DefinedOrUnknownSVal Cond) const { in assume() function
/external/llvm-project/clang/test/Analysis/inlining/
Dinline-defensive-checks.c115 void idcZero(int assume) { in idcZero()
/external/fmtlib/include/fmt/
Dformat.h336 FMT_INLINE void assume(bool condition) { in assume() function