Searched refs:precondition (Results 1 - 6 of 6) sorted by relevance
/netbsd-current/external/bsd/kyua-cli/dist/utils/ |
H A D | sanity.hpp | 57 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 D | sanity.cpp | 142 case utils::precondition: return "Precondition check failed";
|
/netbsd-current/external/gpl3/gdb.old/dist/gas/config/ |
H A D | xtensa-relax.h | 34 typedef struct precondition Precondition; 115 struct precondition struct
|
/netbsd-current/external/gpl3/binutils.old/dist/gas/config/ |
H A D | xtensa-relax.h | 34 typedef struct precondition Precondition; 115 struct precondition struct
|
/netbsd-current/external/gpl3/binutils/dist/gas/config/ |
H A D | xtensa-relax.h | 34 typedef struct precondition Precondition; 115 struct precondition struct
|
/netbsd-current/external/cddl/osnet/dist/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 195 milliseconds