Searched refs:assume (Results 1 - 25 of 335) sorted by relevance

1234567891011>>

/netbsd-current/external/gpl3/gdb.old/dist/gnulib/import/
H A Dassure.h28 If NDEBUG is defined, the compiler can assume E and behavior is
35 Also see the documentation for 'assume' in verify.h. */
38 # define affirm(E) assume (E)
H A Dverify.h282 'assume (R)' is a directive from the programmer telling the
284 test R. This is why 'assume' is in verify.h: it's related to
288 'assume (R)' can affect compilation of all the code, not just code
289 that happens to be executed after the assume (R) is "executed".
290 For example, if the code mistakenly does 'assert (R); assume (R);'
298 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) macro
300 # define assume(R) __assume (R) macro
304 when 'assume' silences warnings even with older GCCs. */
305 # define assume(R) ((R) ? (void) 0 : __builtin_trap ()) macro
308 # define assume( macro
[all...]
/netbsd-current/external/gpl3/gdb/dist/gnulib/import/
H A Dassure.h28 If NDEBUG is defined, the compiler can assume E and behavior is
35 Also see the documentation for 'assume' in verify.h. */
38 # define affirm(E) assume (E)
H A Dverify.h282 'assume (R)' is a directive from the programmer telling the
284 test R. This is why 'assume' is in verify.h: it's related to
288 'assume (R)' can affect compilation of all the code, not just code
289 that happens to be executed after the assume (R) is "executed".
290 For example, if the code mistakenly does 'assert (R); assume (R);'
303 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) macro
305 # define assume(R) __assume (R) macro
309 when 'assume' silences warnings even with older GCCs. */
310 # define assume(R) ((R) ? (void) 0 : __builtin_trap ()) macro
313 # define assume( macro
[all...]
/netbsd-current/lib/libc/arch/powerpc/sys/
H A Dpipe.S15 _DOSYSCALL(pipe) # assume, that r5 is kept
H A Dbrk.S47 _DOSYSCALL(break) # assume that r5 is preserved
/netbsd-current/lib/libc/arch/powerpc64/sys/
H A Dpipe.S11 _DOSYSCALL(pipe) # assume, that r5 is kept
H A Dbrk.S35 _DOSYSCALL(break) # assume that r5 is preserved
/netbsd-current/lib/libc/compat/arch/powerpc/gen/
H A Dcompat_setjmp.S24 _DOSYSCALL(compat_13_sigprocmask13) # assume no error XXX
44 _DOSYSCALL(compat_13_sigprocmask13) # assume no error XXX
H A Dcompat_sigsetjmp.S16 _DOSYSCALL(compat_13_sigprocmask13) # assume no error XXX
39 _DOSYSCALL(compat_13_sigprocmask13) # assume no error XXX
/netbsd-current/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h85 virtual ProgramStateRef assume(ProgramStateRef state,
94 ProgramStateRef StTrue = assume(State, Cond, true);
100 assert(assume(State, Cond, false) && "System is over constrained.");
105 ProgramStateRef StFalse = assume(State, Cond, false);
H A DSimpleConstraintManager.h39 ProgramStateRef assume(ProgramStateRef State, DefinedSVal Cond,
52 /// Given a symbolic expression that can be reasoned about, assume that it is
57 /// Given a symbolic expression within the range [From, To], assume that it is
67 /// Given a symbolic expression that cannot be reasoned about, assume that
82 ProgramStateRef assume(ProgramStateRef State, NonLoc Cond, bool Assumption);
/netbsd-current/lib/libc/arch/powerpc/gen/
H A D__setjmp14.S25 _DOSYSCALL(__sigprocmask14) # assume no error XXX
45 _DOSYSCALL(__sigprocmask14) # assume no error XXX
H A D__sigsetjmp14.S17 _DOSYSCALL(__sigprocmask14) # assume no error XXX
40 _DOSYSCALL(__sigprocmask14) # assume no error XXX
/netbsd-current/lib/libc/arch/or1k/sys/
H A Dpipe.S15 _DOSYSCALL(pipe) # assume, that r5 is kept
H A Dbrk.S42 _DOSYSCALL(break) # assume, that r5 is kept
/netbsd-current/lib/libc/arch/powerpc64/gen/
H A D__sigsetjmp14.S17 _DOSYSCALL(__sigprocmask14) # assume no error XXX
48 _DOSYSCALL(__sigprocmask14) # assume no error XXX
H A D__setjmp14.S24 _DOSYSCALL(__sigprocmask14) # assume no error XXX
93 _DOSYSCALL(__sigprocmask14) # assume no error XXX
/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp25 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State, function in class:clang::ento::SimpleConstraintManager
41 return assume(State, Cond.castAs<NonLoc>(), Assumption);
44 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State, function in class:clang::ento::SimpleConstraintManager
89 return assume(State, Cond.castAs<nonloc::LocAsInteger>().getLoc(),
/netbsd-current/external/gpl3/gdb.old/dist/gas/testsuite/gas/z80/
H A Dunsup_regs.s65 .assume ADL=1
68 .assume ADL=0
/netbsd-current/lib/libc/arch/or1k/gen/
H A D__setjmp14.S40 _DOSYSCALL(__sigprocmask14) # assume no error XXX
64 _DOSYSCALL(__sigprocmask14) # assume no error XXX
/netbsd-current/lib/libc/arch/vax/gen/
H A D__setjmp14.S62 clrl %r0 # assume no stack arguments
/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DSTLAlgorithmModeling.cpp119 // assume that in case of successful search the position of the found element
135 StateFound = StateFound->assume(GreaterOrEqual.castAs<DefinedSVal>(), true);
141 // assume that in case of successful search the position of the found element
157 StateFound = StateFound->assume(Less.castAs<DefinedSVal>(), true);
H A DEnumCastOutOfRangeChecker.cpp49 return static_cast<bool>(PS->assume(ElemEqualsValueToCast, true));
H A DObjCAtSyncChecker.cpp62 std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>());
82 // under-constrained to be null or non-null, assume it is non-null

Completed in 281 milliseconds

1234567891011>>