| /external/chromium_org/third_party/yasm/source/patched-yasm/modules/parsers/tasm/tests/ |
| segment.asm | 5 assume es:data label
|
| /external/chromium_org/tools/telemetry/telemetry/timeline/ |
| inspector_importer.py | 18 ''' Checks if timeline_data is from the inspector timeline. We assume
|
| /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);
|
| ProgramState.h | 158 // Various "assume" methods form the interface for adding constraints to
159 // symbolic values. A call to 'assume' indicates an assumption being placed
160 // on one or symbolic values. 'assume' methods take the following inputs:
164 // (2) The assumed constraint (which is specific to a given "assume" method).
169 // The output of "assume*" is a new ProgramState object with the added constraints.
178 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
183 /// This is more efficient than calling assume() twice. Note that one (but not
186 assume(DefinedOrUnknownSVal cond) const;
634 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, function in class:clang::ento::ProgramState
640 ->assume(this, Cond.castAs<DefinedSVal>(), Assumption)
644 ProgramState::assume(DefinedOrUnknownSVal Cond) const { function in class:clang::ento::ProgramState
[all...] |
| /external/clang/tools/clang-format/ |
| clang-format.py | 59 command.extend(['-assume-filename', vim.current.buffer.name])
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| SimpleConstraintManager.h | 36 ProgramStateRef assume(ProgramStateRef state, DefinedSVal Cond,
39 ProgramStateRef assume(ProgramStateRef state, NonLoc Cond, bool Assumption);
|
| SimpleConstraintManager.cpp | 68 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager
84 return assume(state, Cond.castAs<NonLoc>(), Assumption);
87 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager
128 llvm_unreachable("'Assume' not implemented for this NonLoc");
188 return assume(state, Cond.castAs<nonloc::LocAsInteger>().getLoc(),
|
| /external/clang/test/Analysis/inlining/ |
| inline-defensive-checks.c | 115 void idcZero(int assume) {
116 if (assume)
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| ObjCAtSyncChecker.cpp | 63 std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>());
83 // under-constrained to be null or non-null, assume it is non-null
|
| VLASizeChecker.cpp | 117 std::tie(stateNotZero, stateZero) = state->assume(sizeD);
124 // From this point on, assume that the size is not zero.
145 // Finally, assume that the array's extent matches the given size.
152 state = state->assume(sizeIsKnown, true);
154 // Assume should not fail at this point.
|
| BuiltinFunctionChecker.cpp | 71 state = state->assume(extentMatchesSizeArg, true);
|
| PthreadLockChecker.cpp | 166 std::tie(lockFail, lockSucc) = state->assume(retVal);
169 std::tie(lockSucc, lockFail) = state->assume(retVal);
178 // Assume that the return value was 0.
179 lockSucc = state->assume(retVal, false);
|
| ExprInspectionChecker.cpp | 72 State->assume(AssertionVal.castAs<DefinedOrUnknownSVal>());
|
| ReturnUndefChecker.cpp | 62 // is not available, but the return value expression has 'void' type, assume
106 std::tie(StNonNull, StNull) = C.getState()->assume(RetVal);
109 // Going forward, assume the location is non-null.
|
| ArrayBoundCheckerV2.cpp | 124 state->assume(*lowerBoundToCheck);
132 // Otherwise, assume the constraint of the lower bound.
156 state->assume(*upperboundToCheck);
|
| DereferenceChecker.cpp | 204 std::tie(notNullState, nullState) = state->assume(location);
243 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>());
|
| CStringChecker.cpp | 215 return state->assume(svalBuilder.evalEQ(state, *val, zero));
256 // From here on, assume that the value is non-null.
447 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc));
455 // assume the two expressions are not equal.
468 std::tie(stateTrue, stateFalse) = state->assume(*reverseTest);
513 std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest);
521 // assume the two expressions don't overlap.
585 state->assume(willOverflow.castAs<DefinedOrUnknownSVal>());
612 // From now on, assume an overflow didn't occur.
690 state = state->assume(evalLength.castAs<DefinedOrUnknownSVal>(), true)
[all...] |
| UnixAPIChecker.cpp | 117 std::tie(trueState, falseState) = state->assume(maskedFlags);
198 state->assume(argVal.castAs<DefinedSVal>());
254 // Assume the value is non-zero going forward.
290 // Assume the value is non-zero going forward.
|
| CallAndMessageChecker.cpp | 315 std::tie(StNonNull, StNull) = State->assume(L.castAs<DefinedOrUnknownSVal>());
371 State->assume(V.castAs<DefinedOrUnknownSVal>());
480 std::tie(notNilState, nilState) = state->assume(receiverVal);
578 // it most likely isn't nil. We should assume the semantics
|
| /external/chromium_org/v8/test/mjsunit/ |
| for-in-special-cases.js | 76 // We do not assume that for-in enumerates elements in order.
102 // We do not assume that for-in enumerates elements in order.
|
| /external/chromium_org/content/test/data/indexeddb/ |
| transaction_run_forever.js | 55 // If we've already looped 7 times, it's pretty safe to assume
|
| /external/chromium_org/chrome/common/extensions/docs/server2/ |
| host_file_system_provider.py | 75 since we assume that branches hardly ever change, while master frequently
|
| /external/chromium_org/content/test/data/media/ |
| webrtc_test_audio.js | 13 // If |beLenient| is true, we assume we're on a slow and unreliable bot and that
71 * If |beLenient| is specified, we assume we're running on a slow device or
|
| /build/target/board/generic_arm64/ |
| BoardConfig.mk | 38 # ARM-v8 specification allows you to assume NEON and all the features
|
| /external/chromium_org/chrome/browser/resources/net_internals/ |
| cros_log_entry.js | 71 * We assume if the token contains '[' it contains a process ID.
|
