Home
last modified time | relevance | path

Searched full:precondition (Results 1 – 25 of 116) sorted by relevance

12345

/freebsd/contrib/kyua/utils/
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"; in format_type()
H A Dsanity_test.cpp176 verify_failed(status, "Precondition check failed", "Expression", true); in ATF_TEST_CASE_BODY()
184 verify_failed(status, "Precondition check failed", "Custom", true); in ATF_TEST_CASE_BODY()
H A Dsanity_fwd.hpp45 precondition, enumerator
/freebsd/sys/contrib/device-tree/Bindings/power/supply/
H A Dact8945a-charger.txt17 - active-semi,precondition-timeout: unit: minutes;
18 Specifies the charger's PRECONDITION safety timer setting value;
41 active-semi,precondition-timeout = <40>;
H A Dactive-semi,act8945a-charger.yaml37 active-semi,precondition-timeout:
40 Specifies the charger's PRECONDITION safety timer setting value in minutes.
73 active-semi,precondition-timeout = <40>;
/freebsd/contrib/llvm-project/libcxx/include/__ranges/
H A Dview_interface.h122 !empty(), "Precondition `!empty()` not satisfied. `.front()` called on an empty view."); in decltype()
131 !empty(), "Precondition `!empty()` not satisfied. `.front()` called on an empty view."); in decltype()
140 !empty(), "Precondition `!empty()` not satisfied. `.back()` called on an empty view."); in decltype()
149 !empty(), "Precondition `!empty()` not satisfied. `.back()` called on an empty view."); in decltype()
/freebsd/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) 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()
/freebsd/sys/contrib/device-tree/Bindings/regulator/
H A Dactive-semi,act8945a.yaml105 active-semi,precondition-timeout:
106 description: Precondition timeout
254 active-semi,precondition-timeout = <40>;
/freebsd/contrib/llvm-project/lldb/include/lldb/Target/
H A DThreadList.h36 /// Precondition: both thread lists must be belong to the same process.
139 /// Precondition: both thread lists must be belong to the same process.
/freebsd/bin/sh/tests/builtins/
H A Dcd10.02 # Precondition
/freebsd/contrib/llvm-project/llvm/lib/Transforms/Utils/
H A DGuardUtils.cpp83 assert(isWidenableBranch(WidenableBR) && "precondition"); in widenWidenableBranch()
109 assert(isWidenableBranch(WidenableBR) && "precondition"); in setWidenableBranchCond()
/freebsd/lib/libfetch/
H A Dhttp.errors33 412 SERVER Precondition Failed
/freebsd/contrib/llvm-project/lldb/source/Breakpoint/
H A DBreakpointPrecondition.cpp24 error.SetErrorString("Base breakpoint precondition has no options."); in ConfigurePrecondition()
/freebsd/contrib/llvm-project/llvm/lib/Support/
H A DDivisionByConstantInfo.cpp22 assert(!D.isZero() && "Precondition violation."); in get()
76 assert(!D.isZero() && !D.isOne() && "Precondition violation."); in get()
/freebsd/contrib/llvm-project/compiler-rt/lib/builtins/
H A Dclzti2.c19 // Precondition: a != 0
H A Dctzti2.c19 // Precondition: a != 0
H A Dclzdi2.c27 // Precondition: a != 0
H A Dlshrti3.c19 // Precondition: 0 <= b < bits_in_tword
H A Dctzdi2.c27 // Precondition: a != 0
H A Dlshrdi3.c17 // Precondition: 0 <= b < bits_in_dword
H A Dclzsi2.c17 // Precondition: a != 0
/freebsd/contrib/llvm-project/libcxx/include/
H A D__split_buffer252 // Precondition: __n > 0
253 // Precondition: size() + __n <= capacity()
265 // Precondition: __n > 0
266 // Precondition: size() + __n <= capacity()
/freebsd/sys/contrib/device-tree/Bindings/mfd/
H A Dact8945a.txt79 active-semi,precondition-timeout = <40>;
/freebsd/contrib/atf/atf-c/detail/
H A Dsanity.c67 fail("Precondition check failed at %s:%d: %s", file, line, cond); in atf_sanity_pre()

12345