| /external/linux-kselftest/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/ |
| assume.h | 7 #define assume(x) \ macro
14 #define assume(x) __CPROVER_assume(x) macro
|
| simple_sync_srcu.c | 46 assume(try_check_zero(sp, idx, trycount));
50 assume(try_check_zero(sp, idx^1, trycount));
|
| preempt.c | 6 #include "assume.h"
66 assume(thread_cpu_id >= 0);
67 assume(thread_cpu_id < NR_CPUS);
|
| /art/runtime/interpreter/mterp/arm/ |
| op_float_to_long.S | 21 mov r0, #0xffffffff @ assume maxlong for lsw
22 mov r1, #0x7fffffff @ assume maxlong for msw
|
| op_double_to_long.S | 23 mov r0, #0xffffffff @ assume maxlong for lsw
24 mov r1, #0x7fffffff @ assume maxlong for msw
|
| /external/cblas/ |
| Makefile.ALPHA | 40 CFLAGS = -std1 -I/usr/include -assume aligned_objects -DADD_
|
| /external/mesa3d/src/mesa/state_tracker/ |
| st_nir_lower_tex_src_plane.c | 77 assume(plane);
82 assume(tex->texture_index == tex->sampler_index);
83 assume(((state->lower_3plane & (1 << y_samp)) && plane->i32[0] < 3) ||
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ConstraintManager.h | 67 virtual ProgramStateRef assume(ProgramStateRef state,
76 ProgramStateRef StTrue = assume(State, Cond, true);
86 assert(assume(State, Cond, false) && "System is over constrained.");
91 ProgramStateRef StFalse = assume(State, Cond, false);
|
| /external/llvm/lib/Analysis/ |
| AssumptionCache.cpp | 1 //===- AssumptionCache.cpp - Cache finding @llvm.assume calls -------------===//
10 // This file contains a pass that keeps track of @llvm.assume intrinsics in
31 // Go through all instructions in all blocks, add all calls to @llvm.assume
35 if (match(&II, m_Intrinsic<Intrinsic::assume>()))
43 assert(match(CI, m_Intrinsic<Intrinsic::assume>()) &&
44 "Registered call does not call @llvm.assume");
55 "Cannot register @llvm.assume call not in a basic block");
57 "Cannot register @llvm.assume call not in this function");
69 assert(match(cast<CallInst>(VH), m_Intrinsic<Intrinsic::assume>()) &&
70 "Cached something other than a call to @llvm.assume!");
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ConstraintManager.h | 67 virtual ProgramStateRef assume(ProgramStateRef state,
76 ProgramStateRef StTrue = assume(State, Cond, true);
86 assert(assume(State, Cond, false) && "System is over constrained.");
91 ProgramStateRef StFalse = assume(State, Cond, false);
|
| SimpleConstraintManager.h | 40 ProgramStateRef assume(ProgramStateRef State, DefinedSVal Cond,
53 /// Given a symbolic expression that can be reasoned about, assume that it is
58 /// Given a symbolic expression within the range [From, To], assume that it is
68 /// Given a symbolic expression that cannot be reasoned about, assume that
82 ProgramStateRef assume(ProgramStateRef State, NonLoc Cond, bool Assumption);
|
| /prebuilts/clang/host/darwin-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ConstraintManager.h | 67 virtual ProgramStateRef assume(ProgramStateRef state,
76 ProgramStateRef StTrue = assume(State, Cond, true);
86 assert(assume(State, Cond, false) && "System is over constrained.");
91 ProgramStateRef StFalse = assume(State, Cond, false);
|
| SimpleConstraintManager.h | 40 ProgramStateRef assume(ProgramStateRef State, DefinedSVal Cond,
53 /// Given a symbolic expression that can be reasoned about, assume that it is
58 /// Given a symbolic expression within the range [From, To], assume that it is
68 /// Given a symbolic expression that cannot be reasoned about, assume that
82 ProgramStateRef assume(ProgramStateRef State, NonLoc Cond, bool Assumption);
|
| /prebuilts/clang/host/darwin-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ConstraintManager.h | 67 virtual ProgramStateRef assume(ProgramStateRef state,
76 ProgramStateRef StTrue = assume(State, Cond, true);
86 assert(assume(State, Cond, false) && "System is over constrained.");
91 ProgramStateRef StFalse = assume(State, Cond, false);
|
| /prebuilts/clang/host/darwin-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ConstraintManager.h | 67 virtual ProgramStateRef assume(ProgramStateRef state,
76 ProgramStateRef StTrue = assume(State, Cond, true);
86 assert(assume(State, Cond, false) && "System is over constrained.");
91 ProgramStateRef StFalse = assume(State, Cond, false);
|
| /prebuilts/clang/host/darwin-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ConstraintManager.h | 67 virtual ProgramStateRef assume(ProgramStateRef state,
76 ProgramStateRef StTrue = assume(State, Cond, true);
86 assert(assume(State, Cond, false) && "System is over constrained.");
91 ProgramStateRef StFalse = assume(State, Cond, false);
|
| /prebuilts/clang/host/darwin-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ConstraintManager.h | 67 virtual ProgramStateRef assume(ProgramStateRef state,
76 ProgramStateRef StTrue = assume(State, Cond, true);
86 assert(assume(State, Cond, false) && "System is over constrained.");
91 ProgramStateRef StFalse = assume(State, Cond, false);
|
| /prebuilts/clang/host/darwin-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ConstraintManager.h | 67 virtual ProgramStateRef assume(ProgramStateRef state,
76 ProgramStateRef StTrue = assume(State, Cond, true);
86 assert(assume(State, Cond, false) && "System is over constrained.");
91 ProgramStateRef StFalse = assume(State, Cond, false);
|
| /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ConstraintManager.h | 67 virtual ProgramStateRef assume(ProgramStateRef state,
76 ProgramStateRef StTrue = assume(State, Cond, true);
86 assert(assume(State, Cond, false) && "System is over constrained.");
91 ProgramStateRef StFalse = assume(State, Cond, false);
|
| /prebuilts/clang/host/linux-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ConstraintManager.h | 67 virtual ProgramStateRef assume(ProgramStateRef state,
76 ProgramStateRef StTrue = assume(State, Cond, true);
86 assert(assume(State, Cond, false) && "System is over constrained.");
91 ProgramStateRef StFalse = assume(State, Cond, false);
|
| /prebuilts/clang/host/linux-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ConstraintManager.h | 67 virtual ProgramStateRef assume(ProgramStateRef state,
76 ProgramStateRef StTrue = assume(State, Cond, true);
86 assert(assume(State, Cond, false) && "System is over constrained.");
91 ProgramStateRef StFalse = assume(State, Cond, false);
|
| /prebuilts/clang/host/linux-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ConstraintManager.h | 67 virtual ProgramStateRef assume(ProgramStateRef state,
76 ProgramStateRef StTrue = assume(State, Cond, true);
86 assert(assume(State, Cond, false) && "System is over constrained.");
91 ProgramStateRef StFalse = assume(State, Cond, false);
|
| /prebuilts/clang/host/linux-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ConstraintManager.h | 67 virtual ProgramStateRef assume(ProgramStateRef state,
76 ProgramStateRef StTrue = assume(State, Cond, true);
86 assert(assume(State, Cond, false) && "System is over constrained.");
91 ProgramStateRef StFalse = assume(State, Cond, false);
|
| /prebuilts/clang/host/linux-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ConstraintManager.h | 67 virtual ProgramStateRef assume(ProgramStateRef state,
76 ProgramStateRef StTrue = assume(State, Cond, true);
86 assert(assume(State, Cond, false) && "System is over constrained.");
91 ProgramStateRef StFalse = assume(State, Cond, false);
|
| /prebuilts/clang/host/linux-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ConstraintManager.h | 67 virtual ProgramStateRef assume(ProgramStateRef state,
76 ProgramStateRef StTrue = assume(State, Cond, true);
86 assert(assume(State, Cond, false) && "System is over constrained.");
91 ProgramStateRef StFalse = assume(State, Cond, false);
|
