| /src/external/gpl3/gdb/dist/gnulib/import/ |
| 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)
|
| verify.h | 279 /* Assume that R always holds. Behavior is undefined if R is false,
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...] |
| /src/external/gpl3/gdb.old/dist/gnulib/import/ |
| 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)
|
| verify.h | 279 /* Assume that R always holds. Behavior is undefined if R is false,
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...] |
| /src/lib/libc/compat/arch/powerpc/gen/ |
| compat_setjmp.S | 24 _DOSYSCALL(compat_13_sigprocmask13) # assume no error XXX
44 _DOSYSCALL(compat_13_sigprocmask13) # assume no error XXX
|
| compat_sigsetjmp.S | 16 _DOSYSCALL(compat_13_sigprocmask13) # assume no error XXX
39 _DOSYSCALL(compat_13_sigprocmask13) # assume no error XXX
|
| /src/lib/libc/arch/powerpc/sys/ |
| pipe.S | 15 _DOSYSCALL(pipe) # assume, that r5 is kept
|
| brk.S | 47 _DOSYSCALL(break) # assume that r5 is preserved
|
| /src/lib/libc/arch/powerpc64/sys/ |
| pipe.S | 11 _DOSYSCALL(pipe) # assume, that r5 is kept
|
| brk.S | 35 _DOSYSCALL(break) # assume that r5 is preserved
|
| /src/lib/libc/arch/or1k/sys/ |
| pipe.S | 15 _DOSYSCALL(pipe) # assume, that r5 is kept
|
| brk.S | 42 _DOSYSCALL(break) # assume, that r5 is kept
|
| /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| 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);
|
| 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);
|
| /src/lib/libc/arch/powerpc/gen/ |
| __setjmp14.S | 25 _DOSYSCALL(__sigprocmask14) # assume no error XXX
45 _DOSYSCALL(__sigprocmask14) # assume no error XXX
|
| __sigsetjmp14.S | 17 _DOSYSCALL(__sigprocmask14) # assume no error XXX
40 _DOSYSCALL(__sigprocmask14) # assume no error XXX
|
| /src/lib/libc/arch/powerpc64/gen/ |
| __sigsetjmp14.S | 17 _DOSYSCALL(__sigprocmask14) # assume no error XXX
48 _DOSYSCALL(__sigprocmask14) # assume no error XXX
|
| __setjmp14.S | 24 _DOSYSCALL(__sigprocmask14) # assume no error XXX
93 _DOSYSCALL(__sigprocmask14) # assume no error XXX
|
| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| 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
67 llvm_unreachable("'Assume' not implemented for this NonLoc");
89 return assume(State, Cond.castAs<nonloc::LocAsInteger>().getLoc(),
|
| /src/external/mpl/bind/dist/bin/tests/system/wildcard/ |
| tests_wildcard.py | 30 # Silence incorrect warnings cause by hypothesis.assume()
34 from hypothesis import assume, example, given, settings namespace
83 assume(rdtype != WILDCARD_RDTYPE)
86 assume(
95 assume(name == SUFFIX or name.labels[-len(SUFFIX) - 1] != b"*")
112 assume(name.labels[-len(SUFFIX) - 1] != b"*")
168 assume(
|
| /src/external/mpl/bind/dist/bin/tests/system/tsig/ |
| tests_tsig_hypothesis.py | 14 # Silence incorrect warnings cause by hypothesis.assume()
20 from hypothesis import assume, example, given namespace
58 assume(len(mac) != correct_mac_len)
135 assume(False) # some randomly generated value did not fit into message
|
| /src/external/mpl/bind/dist/bin/tests/system/nsec3_answer/ |
| tests_nsec3.py | 14 # Silence incorrect warnings cause by hypothesis.assume()
24 from hypothesis import assume, given namespace
116 assume(qname not in ZONE.all_existing_names)
120 assume(
137 assume(wname not in ZONE.reachable_wildcards)
154 assume(wname not in ZONE.reachable_wildcards)
165 assume(qname not in ZONE.reachable)
172 assume(wname not in ZONE.reachable_wildcards)
200 assume(qname not in ZONE.all_existing_names)
203 assume(wname in ZONE.reachable_wildcards
[all...] |
| /src/lib/libc/arch/or1k/gen/ |
| __setjmp14.S | 40 _DOSYSCALL(__sigprocmask14) # assume no error XXX
64 _DOSYSCALL(__sigprocmask14) # assume no error XXX
|
| /src/usr.bin/make/unit-tests/ |
| shell-ksh.mk | 34 # FIXME: Don't assume a newline character in PrintFilteredOutput.
|
| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| 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);
|
