Home
last modified time | relevance | path

Searched refs:precondition (Results 1 – 15 of 15) sorted by relevance

/openbsd-src/gnu/usr.bin/binutils/gas/config/
H A Dxtensa-relax.h34 typedef struct precondition Precondition;
78 struct precondition struct
/openbsd-src/gnu/usr.bin/binutils-2.17/gas/config/
H A Dxtensa-relax.h34 typedef struct precondition Precondition;
117 struct precondition struct
/openbsd-src/gnu/llvm/libcxx/docs/DesignDocs/
H A DNoexceptPolicy.rst10 first, functions might not report precondition violations by throwing.
/openbsd-src/gnu/llvm/clang/docs/
H A DLibASTMatchers.rst53 The precondition to using the matchers is to understand how the AST for what you
H A DDataFlowAnalysisIntro.md275 The predicate that we marked "given" is usually called a precondition, and the
/openbsd-src/gnu/llvm/libcxx/docs/Status/
H A DCxx2bIssues.csv55 ….link/LWG3490>`__","``ranges::drop_while_view::begin()`` is missing a precondition","February 2021…
244 "`3823 <https://wg21.link/LWG3823>`__","Unnecessary precondition for ``is_aggregate``", "November 2…
H A DCxx20Issues.csv100 "`2797 <https://wg21.link/LWG2797>`__","Trait precondition violations","San Diego","Resolved by 128…
/openbsd-src/gnu/llvm/libcxx/docs/
H A DUsingLibcxx.rst147 library, usually caused by precondition violations. Those assertions do not aim to be
/openbsd-src/gnu/llvm/clang/docs/analyzer/developer-docs/
H A DIPA.rst70 impossible (by some unstated precondition), or by inlining some but not all
/openbsd-src/gnu/llvm/libcxx/include/
H A Dcharconv244 // precondition: at least one non-zero character available
/openbsd-src/gnu/gcc/gcc/objc/
H A DChangeLog492 check TYPE_HAS_OBJC_INFO(...) precondition before accessing
/openbsd-src/gnu/llvm/clang/docs/analyzer/
H A Dcheckers.rst354 that it was non-null to satisfy the precondition of the constructor.
/openbsd-src/gnu/usr.bin/gcc/gcc/
H A DChangeLog1064 * unroll.c (unroll_loop): If precondition loop, clear the initial_value
10488 (build_constructor): Tighten precondition check.
H A DChangeLog.68560 * objc/objc-act.c (finish_objc): Correct precondition for emitting
/openbsd-src/share/dict/
H A Dweb2153138 precondition