Searched refs:precondition (Results 1 - 6 of 6) sorted by relevance

/netbsd-current/external/bsd/kyua-cli/dist/utils/
H A Dsanity.hpp57 precondition, enumerator in enum:utils::assert_type
118 /// Ensures that a precondition holds.
120 /// If the precondition does not hold, execution is immediately terminated. The
127 /// \param expr A boolean expression describing the precondition.
128 #define PRE(expr) _UTILS_ASSERT(utils::precondition, expr, #expr)
131 /// Ensures that a precondition holds using a custom error message.
133 /// If the precondition does not hold, execution is immediately terminated. The
136 /// \param expr A boolean expression describing the precondition.
138 #define PRE_MSG(expr, msg) _UTILS_ASSERT(utils::precondition, expr, msg)
H A Dsanity.cpp142 case utils::precondition: return "Precondition check failed";
/netbsd-current/external/gpl3/gdb.old/dist/gas/config/
H A Dxtensa-relax.h34 typedef struct precondition Precondition;
115 struct precondition struct
/netbsd-current/external/gpl3/binutils.old/dist/gas/config/
H A Dxtensa-relax.h34 typedef struct precondition Precondition;
115 struct precondition struct
/netbsd-current/external/gpl3/binutils/dist/gas/config/
H A Dxtensa-relax.h34 typedef struct precondition Precondition;
115 struct precondition struct
/netbsd-current/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) argument
333 if_stmt->dn_conditional, precondition);
347 dt_sugar_new_condition(dp, pred, precondition));
390 dt_sugar_visit_stmts(dt_sugar_parse_t *dp, dt_node_t *stmts, int precondition) argument
418 dt_sugar_new_basic_block(dp, precondition,
422 dt_sugar_do_if(dp, stmt, precondition);
431 dt_sugar_new_basic_block(dp, precondition,

Completed in 195 milliseconds