| /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/gpl3/gdb/dist/gnulib/import/ |
| 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/ |
| 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/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/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/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/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 162 // Various "assume" methods form the interface for adding constraints to
163 // symbolic values. A call to 'assume' indicates an assumption being placed
164 // on one or symbolic values. 'assume' methods take the following inputs:
168 // (2) The assumed constraint (which is specific to a given "assume" method).
173 // The output of "assume*" is a new ProgramState object with the added constraints.
182 LLVM_NODISCARD ProgramStateRef assume(DefinedOrUnknownSVal cond,
188 /// This is more efficient than calling assume() twice. Note that one (but not
191 assume(DefinedOrUnknownSVal cond) const;
211 /// This is more efficient than calling assume() twice. Note that one (but not
666 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond function in class:clang::ento::ProgramState
676 ProgramState::assume(DefinedOrUnknownSVal Cond) const { function in class:clang::ento::ProgramState
[all...] |
| /src/external/gpl3/gdb.old/dist/gdb/ |
| rust-parse.c | 255 void assume (int type) function in struct:rust_parser
1137 assume ('(');
1167 assume (')');
1177 assume ('[');
1252 assume ('{');
1515 assume (KW_SIZEOF);
1528 assume ('&');
1541 assume ('.');
1586 assume ('[');
1599 assume ('(');
[all...] |
| /src/external/gpl3/gdb/dist/gdb/ |
| rust-parse.c | 259 void assume (int type, bool decimal_only = false) function in struct:rust_parser
1151 assume ('(');
1181 assume (')');
1191 assume ('[');
1266 assume ('{');
1529 assume (KW_SIZEOF);
1542 assume ('&');
1555 assume ('.', true);
1597 assume ('[');
1610 assume ('(');
[all...] |
| /src/external/gpl3/binutils/dist/gas/config/ |
| tc-z80.c | 3269 assume (int arg ATTRIBUTE_UNUSED) function
3492 { ".assume", assume, 0},
|
| /src/external/gpl3/binutils.old/dist/gas/config/ |
| tc-z80.c | 3294 assume (int arg ATTRIBUTE_UNUSED) function
3517 { ".assume", assume, 0},
|
| /src/external/gpl3/gcc/dist/gcc/fortran/ |
| trans-openmp.cc | 5058 gfc_omp_assumptions *assume = code->ext.omp_clauses->assume; local
5059 if (assume)
5060 for (gfc_expr_list *el = assume->holds; el; el = el->next)
|
| gfortran.h | 1578 struct gfc_omp_assumptions *assume; member in struct:gfc_omp_clauses
|
