Searched refs:precondition (Results 1 - 4 of 4) sorted by relevance
/freebsd-13-stable/contrib/kyua/utils/ |
H A D | sanity_fwd.hpp | 45 precondition, enumerator in enum:utils::assert_type
|
H A D | sanity.hpp | 108 /// 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 D | sanity.cpp | 142 case utils::precondition: return "Precondition check failed";
|
/freebsd-13-stable/cddl/contrib/opensolaris/lib/libdtrace/common/ |
H A D | dt_sugar.c | 325 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