| /aosp_15_r20/external/linux-kselftest/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/ |
| H A D | assume.h | 7 #define assume(x) \ macro
14 #define assume(x) __CPROVER_assume(x) macro
|
| /aosp_15_r20/external/virglrenderer/src/mesa/util/ |
| H A D | macros.h | 143 #define assume(expr) \ macro
149 #define assume(expr) ((expr) ? ((void) 0) \ macro
153 #define assume(expr) __assume(expr) macro
155 #define assume(expr) assert(expr) macro
|
| /aosp_15_r20/external/mesa3d/src/util/ |
| H A D | macros.h | 143 #define assume(expr) \ macro
149 #define assume(expr) ((expr) ? ((void) 0) \ macro
153 #define assume(expr) __assume(expr) macro
155 #define assume(expr) assert(expr) macro
|
| /aosp_15_r20/external/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleConstraintManager.cpp | 68 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
|
| /aosp_15_r20/external/truth/core/src/main/java/com/google/common/truth/ |
| H A D | TruthJUnit.java | 58 public static final StandardSubjectBuilder assume() { in assume() method in TruthJUnit
|
| /aosp_15_r20/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ProgramState.h | 643 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, in assume() function
653 ProgramState::assume(DefinedOrUnknownSVal Cond) const { in assume() function
|
| /aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r536225/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 708 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, in assume() function
718 ProgramState::assume(DefinedOrUnknownSVal Cond) const { in assume() function
|
| /aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r530567/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 706 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, in assume() function
716 ProgramState::assume(DefinedOrUnknownSVal Cond) const { in assume() function
|
| /aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r530567b/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 706 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, in assume() function
716 ProgramState::assume(DefinedOrUnknownSVal Cond) const { in assume() function
|
| /aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r522817/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 706 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, in assume() function
716 ProgramState::assume(DefinedOrUnknownSVal Cond) const { in assume() function
|
| /aosp_15_r20/external/jetpack-camera-app/app/src/androidTest/java/com/google/jetpackcamera/utils/ |
| H A D | ComposeTestRuleExt.kt | 70 fun SemanticsNodeInteraction.assume( in SemanticsNodeInteraction() method
|
| /aosp_15_r20/external/clang/test/Analysis/inlining/ |
| H A D | inline-defensive-checks.c | 115 void idcZero(int assume) { in idcZero()
|
| /aosp_15_r20/external/rust/android-crates-io/crates/tikv-jemallocator/src/ |
| D | lib.rs | 81 macro_rules! assume { macro
|
| /aosp_15_r20/external/curl/lib/ |
| H A D | parsedate.c | 273 enum assume { enum
|
| /aosp_15_r20/prebuilts/module_sdk/art/current/host-exports/include/external/fmtlib/include/fmt/ |
| D | format.h | 500 FMT_INLINE void assume(bool condition) { in assume() function
|
| /aosp_15_r20/prebuilts/module_sdk/art/current/sdk/common_os/include/external/fmtlib/include/fmt/ |
| D | format.h | 500 FMT_INLINE void assume(bool condition) { in assume() function
|
| /aosp_15_r20/prebuilts/module_sdk/art/current/sdk/include/external/fmtlib/include/fmt/ |
| D | format.h | 500 FMT_INLINE void assume(bool condition) { in assume() function
|
| /aosp_15_r20/prebuilts/module_sdk/art/13/include/external/fmtlib/include/fmt/ |
| D | format.h | 500 FMT_INLINE void assume(bool condition) { in assume() function
|
| /aosp_15_r20/prebuilts/module_sdk/art/13/common_os/include/external/fmtlib/include/fmt/ |
| D | format.h | 500 FMT_INLINE void assume(bool condition) { in assume() function
|
| /aosp_15_r20/external/armnn/third-party/fmt/ |
| H A D | format.h | 304 FMT_INLINE void assume(bool condition) { in assume() function
|
| /aosp_15_r20/prebuilts/module_sdk/art/3/common_os/include/external/fmtlib/include/fmt/ |
| D | format.h | 336 FMT_INLINE void assume(bool condition) { in assume() function
|
| /aosp_15_r20/prebuilts/vndk/v32/x86_64/include/external/fmtlib/include/fmt/ |
| D | format.h | 336 FMT_INLINE void assume(bool condition) { in assume() function
|
| /aosp_15_r20/prebuilts/vndk/v34/arm64/include/external/fmtlib/include/fmt/ |
| D | format.h | 336 FMT_INLINE void assume(bool condition) { in assume() function
|
| /aosp_15_r20/prebuilts/vndk/v31/arm/include/external/fmtlib/include/fmt/ |
| D | format.h | 336 FMT_INLINE void assume(bool condition) { in assume() function
|
| /aosp_15_r20/prebuilts/module_sdk/art/7/common_os/include/external/fmtlib/include/fmt/ |
| D | format.h | 336 FMT_INLINE void assume(bool condition) { in assume() function
|