Home
last modified time | relevance | path

Searched refs:Contract (Results 1 – 4 of 4) sorted by relevance

/llvm-project-15.0.7/clang/lib/Parse/
H A DParsePragma.cpp3119 enum FlagKinds { Contract, Reassociate, Exceptions, EvalMethod }; enumerator
3149 .Case("contract", TokFPAnnotValue::Contract) in HandlePragma()
3179 if (FlagKind == TokFPAnnotValue::Contract) { in HandlePragma()
/llvm-project-15.0.7/llvm/docs/
H A DHowToSetUpLLVMStyleRTTI.rst372 The Contract of ``classof``
/llvm-project-15.0.7/clang/docs/analyzer/
H A Dcheckers.rst2188 assert(n <= 100 && "Contract violated.");
/llvm-project-15.0.7/mlir/include/mlir/Dialect/Vector/IR/
H A DVectorOps.td190 // Contract with max (K = 0).