Home
last modified time | relevance | path

Searched refs:precondition (Results 1 – 25 of 75) sorted by relevance

123

/netbsd-src/external/cddl/osnet/dist/lib/libdtrace/common/
H A Ddt_sugar.c325 dt_sugar_do_if(dt_sugar_parse_t *dp, dt_node_t *if_stmt, int precondition) in dt_sugar_do_if() argument
333 if_stmt->dn_conditional, precondition); in dt_sugar_do_if()
347 dt_sugar_new_condition(dp, pred, precondition)); in dt_sugar_do_if()
390 dt_sugar_visit_stmts(dt_sugar_parse_t *dp, dt_node_t *stmts, int precondition) in dt_sugar_visit_stmts() argument
418 dt_sugar_new_basic_block(dp, precondition, in dt_sugar_visit_stmts()
422 dt_sugar_do_if(dp, stmt, precondition); in dt_sugar_visit_stmts()
431 dt_sugar_new_basic_block(dp, precondition, in dt_sugar_visit_stmts()
/netbsd-src/external/bsd/kyua-cli/dist/utils/
H A Dsanity.hpp57 precondition, enumerator
128 #define PRE(expr) _UTILS_ASSERT(utils::precondition, expr, #expr)
138 #define PRE_MSG(expr, msg) _UTILS_ASSERT(utils::precondition, expr, msg)
H A Dsanity.cpp142 case utils::precondition: return "Precondition check failed"; in format_type()
/netbsd-src/external/gpl3/binutils/dist/gas/config/
H A Dxtensa-relax.h34 typedef struct precondition Precondition;
115 struct precondition struct
/netbsd-src/external/gpl3/binutils.old/dist/gas/config/
H A Dxtensa-relax.h34 typedef struct precondition Precondition;
115 struct precondition struct
/netbsd-src/external/apache2/llvm/dist/libcxx/docs/DesignDocs/
H A DNoexceptPolicy.rst10 first, functions might not report precondition violations by throwing.
H A DDebugMode.rst63 precondition checks throughout libc++. The second additionally enables
/netbsd-src/external/gpl3/gcc.old/dist/libstdc++-v3/include/std/
H A Doptional262 // The _M_get() operations have _M_engaged as a precondition.
274 // _M_reset is a 'safe' operation with no precondition.
411 // The _M_construct operation has !_M_engaged as a precondition
412 // while _M_destruct has _M_engaged as a precondition.
428 // _M_reset is a 'safe' operation with no precondition.
436 // The _M_get operations have _M_engaged as a precondition.
H A Dshared_mutex518 // the program violated the precondition.
544 // the program violated the precondition.
631 // the program violated the precondition.
/netbsd-src/external/gpl3/gcc/dist/libstdc++-v3/include/experimental/
H A Doptional231 // The _M_get operations have _M_engaged as a precondition.
240 // The _M_construct operation has !_M_engaged as a precondition
241 // while _M_destruct has _M_engaged as a precondition.
259 // _M_reset is a 'safe' operation with no precondition.
/netbsd-src/external/gpl3/gcc.old/dist/libstdc++-v3/include/experimental/
H A Doptional235 // The _M_get operations have _M_engaged as a precondition.
244 // The _M_construct operation has !_M_engaged as a precondition
245 // while _M_destruct has _M_engaged as a precondition.
263 // _M_reset is a 'safe' operation with no precondition.
/netbsd-src/external/gpl3/gcc/dist/libstdc++-v3/include/std/
H A Doptional301 // The _M_get() operations have _M_engaged as a precondition.
313 // _M_reset is a 'safe' operation with no precondition.
450 // The _M_construct operation has !_M_engaged as a precondition
451 // while _M_destruct has _M_engaged as a precondition.
465 // _M_reset is a 'safe' operation with no precondition.
473 // The _M_get operations have _M_engaged as a precondition.
H A Dshared_mutex523 // the program violated the precondition.
549 // the program violated the precondition.
636 // the program violated the precondition.
/netbsd-src/doc/roadmaps/
H A Dverification78 (mostly) precondition/postcondition specs. It is not everything one
/netbsd-src/external/apache2/llvm/dist/libcxx/docs/
H A DCxx2bStatusIssuesStatus.csv55 ….link/LWG3490>`__","``ranges::drop_while_view::begin()`` is missing a precondition","February 2021…
H A DCxx2aStatusIssuesStatus.csv100 "`2797 <https://wg21.link/LWG2797>`__","Trait precondition violations","San Diego","Resolved by 128…
/netbsd-src/external/apache2/llvm/dist/clang/docs/
H A DLibASTMatchers.rst53 The precondition to using the matchers is to understand how the AST for what you
/netbsd-src/external/gpl3/gcc.old/dist/gcc/d/
H A Dlang.opt270 Generate code for precondition contracts.
H A Dgdc.texi277 Turns off code generation for precondition @code{in} contracts.
/netbsd-src/external/bsd/bc/dist/
H A Dlibmath.b165 /* precondition x. */
/netbsd-src/sys/external/gpl2/dts/dist/arch/arm/boot/dts/
H A Dat91-sama5d2_xplained.dts310 active-semi,precondition-timeout = <40>;
/netbsd-src/external/gpl3/gcc/dist/gcc/d/
H A Dlang.opt337 Generate code for precondition contracts.
/netbsd-src/external/apache2/llvm/dist/libcxx/include/
H A Dcharconv293 // precondition: at least one non-zero character available
/netbsd-src/external/gpl3/gcc/dist/libstdc++-v3/include/bits/
H A Dc++config553 __builtin_unreachable() /* precondition violation detected! */
/netbsd-src/external/apache2/llvm/dist/clang/docs/analyzer/developer-docs/
H A DIPA.rst70 impossible (by some unstated precondition), or by inlining some but not all

123