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

/freebsd-13-stable/contrib/kyua/utils/
H A Dsanity_fwd.hpp45 precondition, enumerator in enum:utils::assert_type
H A Dsanity.hpp108 /// Ensures that a precondition holds.
110 /// If the precondition does not hold, execution is immediately terminated. The
117 /// \param expr A boolean expression describing the precondition.
118 #define PRE(expr) _UTILS_ASSERT(utils::precondition, expr, #expr)
121 /// Ensures that a precondition holds using a custom error message.
123 /// If the precondition does not hold, execution is immediately terminated. The
126 /// \param expr A boolean expression describing the precondition.
128 #define PRE_MSG(expr, msg) _UTILS_ASSERT(utils::precondition, expr, msg)
H A Dsanity.cpp142 case utils::precondition: return "Precondition check failed";
/freebsd-13-stable/cddl/contrib/opensolaris/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 45 milliseconds