/netbsd-current/external/gpl3/gdb.old/dist/gnulib/import/ |
H A D | assure.h | 28 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 D | verify.h | 282 '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 D | assure.h | 28 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 D | verify.h | 282 '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 D | pipe.S | 15 _DOSYSCALL(pipe) # assume, that r5 is kept
|
H A D | brk.S | 47 _DOSYSCALL(break) # assume that r5 is preserved
|
/netbsd-current/lib/libc/arch/powerpc64/sys/ |
H A D | pipe.S | 11 _DOSYSCALL(pipe) # assume, that r5 is kept
|
H A D | brk.S | 35 _DOSYSCALL(break) # assume that r5 is preserved
|
/netbsd-current/lib/libc/compat/arch/powerpc/gen/ |
H A D | compat_setjmp.S | 24 _DOSYSCALL(compat_13_sigprocmask13) # assume no error XXX 44 _DOSYSCALL(compat_13_sigprocmask13) # assume no error XXX
|
H A D | compat_sigsetjmp.S | 16 _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 D | ConstraintManager.h | 85 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 D | SimpleConstraintManager.h | 39 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.S | 25 _DOSYSCALL(__sigprocmask14) # assume no error XXX 45 _DOSYSCALL(__sigprocmask14) # assume no error XXX
|
H A D | __sigsetjmp14.S | 17 _DOSYSCALL(__sigprocmask14) # assume no error XXX 40 _DOSYSCALL(__sigprocmask14) # assume no error XXX
|
/netbsd-current/lib/libc/arch/or1k/sys/ |
H A D | pipe.S | 15 _DOSYSCALL(pipe) # assume, that r5 is kept
|
H A D | brk.S | 42 _DOSYSCALL(break) # assume, that r5 is kept
|
/netbsd-current/lib/libc/arch/powerpc64/gen/ |
H A D | __sigsetjmp14.S | 17 _DOSYSCALL(__sigprocmask14) # assume no error XXX 48 _DOSYSCALL(__sigprocmask14) # assume no error XXX
|
H A D | __setjmp14.S | 24 _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 D | SimpleConstraintManager.cpp | 25 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 D | unsup_regs.s | 65 .assume ADL=1 68 .assume ADL=0
|
/netbsd-current/lib/libc/arch/or1k/gen/ |
H A D | __setjmp14.S | 40 _DOSYSCALL(__sigprocmask14) # assume no error XXX 64 _DOSYSCALL(__sigprocmask14) # assume no error XXX
|
/netbsd-current/lib/libc/arch/vax/gen/ |
H A D | __setjmp14.S | 62 clrl %r0 # assume no stack arguments
|
/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
H A D | STLAlgorithmModeling.cpp | 119 // 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 D | EnumCastOutOfRangeChecker.cpp | 49 return static_cast<bool>(PS->assume(ElemEqualsValueToCast, true));
|
H A D | ObjCAtSyncChecker.cpp | 62 std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>()); 82 // under-constrained to be null or non-null, assume it is non-null
|