Home
last modified time | relevance | path

Searched refs:assume (Results 1 – 25 of 728) sorted by relevance

12345678910>>...30

/openbsd/gnu/usr.bin/perl/cpan/JSON-PP/t/
H A D001_utf8.t15 : "\x78\x64"; # assume CP 037
30 : "\045\\\015\005\014\026"; # assume CP 037
/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DTrustNonnullChecker.cpp90 State = State->assume(*L, /*assumption=*/true); in checkPostCall()
109 State = State->assume(*L, /*assumption=*/true); in checkPostObjCMessage()
231 State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated); in addImplication()
H A DSTLAlgorithmModeling.cpp136 StateFound = StateFound->assume(GreaterOrEqual.castAs<DefinedSVal>(), true); in Find()
158 StateFound = StateFound->assume(Less.castAs<DefinedSVal>(), true); in Find()
H A DCStringChecker.cpp328 return state->assume(svalBuilder.evalEQ(state, *val, zero)); in REGISTER_MAP_WITH_PROGRAMSTATE()
537 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc)); in CheckOverlap()
558 std::tie(stateTrue, stateFalse) = state->assume(*reverseTest); in CheckOverlap()
603 std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest); in CheckOverlap()
771 state->assume(willOverflow.castAs<DefinedOrUnknownSVal>()); in checkAdditionOverflow()
1154 State->assume(svalBuilder.evalEQ(State, SizeDV, *SizeNL)); in memsetAux()
1412 State->assume(Builder.evalEQ(State, LV, RV)); in evalMemcmp()
1541 state = state->assume(C.getSValBuilder().evalBinOpNN( in evalstrLengthCommon()
1547 state = state->assume(C.getSValBuilder().evalBinOpNN( in evalstrLengthCommon()
2076 std::tie(StSameBuf, StNotSameBuf) = state->assume(SameBuf); in evalStrcmpCommon()
[all …]
H A DIterator.cpp281 NewState = NewState->assume(*DV, true); in assumeNoOverflow()
291 NewState = NewState->assume(*DV, true); in assumeNoOverflow()
314 return !State->assume(comparison.castAs<DefinedSVal>(), false); in compare()
H A DCastValueChecker.cpp202 ProgramStateRef State = C.getState()->assume(DV, IsNonNullParam); in addCastTransition()
359 if (ProgramStateRef State = C.getState()->assume(DV, false)) in evalNullParamNullReturn()
434 std::tie(NonNullState, NullState) = C.getState()->assume(DV); in evalIsa()
450 std::tie(NonNullState, NullState) = C.getState()->assume(DV); in evalIsaAndNonNull()
H A DTrustReturnsNonnullChecker.cpp35 State = State->assume(*L, /*assumption=*/true); in checkPostCall()
H A DObjCAtSyncChecker.cpp62 std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>()); in checkPreStmt()
H A DStringChecker.cpp77 std::tie(NotNull, Null) = C.getState()->assume(*Param); in checkPreCall()
H A DArrayBoundCheckerV2.cpp165 state->assume(*lowerBoundToCheck); in checkLocation()
204 state->assume(*upperboundToCheck); in checkLocation()
H A DDereferenceChecker.cpp257 std::tie(notNullState, nullState) = state->assume(location); in checkLocation()
301 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>()); in checkBind()
H A DEnumCastOutOfRangeChecker.cpp50 return static_cast<bool>(PS->assume(ElemEqualsValueToCast, true)); in operator ()()
/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp42 return assume(State, Cond.castAs<NonLoc>(), Assumption); in assumeInternal()
45 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State, in assume() function in clang::ento::SimpleConstraintManager
/openbsd/gnu/llvm/llvm/docs/CommandGuide/
H A Dllvm-cxxfilt.rst44 Mangling scheme to assume. Valid values are ``auto`` (default, auto-detect the
45 style) and ``gnu`` (assume GNU/Itanium style).
H A Dllc.rst109 Enable optimizations that assume no Inf values.
113 Enable optimizations that assume no NAN values.
117 Enable FP math optimizations that assume the sign of 0 is insignificant.
/openbsd/usr.bin/file/magdir/
H A Dasterix5 # strings as "long" - we assume they're just strings:
/openbsd/gnu/llvm/llvm/cmake/modules/
H A DLLVMCheckLinkerFlag.cmake13 # cmake builtin compatible, except we assume lang is C or CXX
/openbsd/gnu/usr.bin/perl/cpan/Math-BigInt/t/
H A Dnew_overloaded.t3 # Math::BigFloat->new had a bug where it would assume any object is a
/openbsd/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSimpleConstraintManager.h83 ProgramStateRef assume(ProgramStateRef State, NonLoc Cond, bool Assumption);
H A DProgramState.h220 [[nodiscard]] ProgramStateRef assume(DefinedOrUnknownSVal cond,
229 assume(DefinedOrUnknownSVal cond) const;
706 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, in assume() function
712 ->assume(this, Cond.castAs<DefinedSVal>(), Assumption); in assume()
716 ProgramState::assume(DefinedOrUnknownSVal Cond) const { in assume() function
/openbsd/gnu/usr.bin/binutils/gdb/testsuite/
H A Daclocal.m4187 # if Makefile exists we assume its configured and libtcl will be built first.
219 # if Makefile exists we assume its configured and libtcl will be
235 # if Makefile exists we assume its configured and libtcl will be built first.
260 # if Makefile exists we assume its configured and libtcl will be
463 # if Makefile exists we assume its configured and libtk will be built
499 # if Makefile exists we assume its configured and libtk will be built
516 # if Makefile exists, we assume it's configured and libtcl will be built
544 # if Makefile exists, we assume it's configured and libtcl will be built
/openbsd/gnu/usr.bin/perl/cpan/CPAN/lib/CPAN/API/
H A DHOWTO.pod7 All of these recipes assume that you have put "use CPAN" at the top of
/openbsd/gnu/usr.bin/gcc/contrib/regression/
H A DChangeLog64 * btest-gcc.sh: For crosses, assume newlib and GNU binutils.
/openbsd/gnu/usr.bin/texinfo/util/
H A Dinstall-info-html28 -a,--all assume all subdirectories of index to be DOCUMENT-DIRs
/openbsd/gnu/usr.bin/binutils-2.17/opcodes/
H A Dcgen-asm.in203 /* For now we assume the mnemonic is first (there are no leading operands).
240 /* FIXME: While we allow for non-GAS callers above, we assume the
289 /* FIXME: For the moment we assume a valid `str' can only contain
309 We assume all necessary tables have been initialized.

12345678910>>...30