| /freebsd-src/contrib/llvm-project/clang/include/clang/Sema/ |
| H A D | SemaConcept.h | 61 // - an atomic constraint A subsumes another atomic constraint B in subsumes()
70 // constraint expressions, therefore the constraint expressions are in subsumes()
88 // A constraint is in conjunctive normal form when it is a conjunction of
90 // constraints A, B, and C, the constraint A ∧ (B ∨ C) is in conjunctive member
94 // A constraint is in disjunctive normal form when it is a disjunction of in NormalizedConstraint()
96 // constraints A, B, and C, the disjunctive normal form of the constraint A in NormalizedConstraint()
102 /// \brief A normalized constraint, as defined in C++ [temp.constr.normal], is in NormalizedConstraint()
103 /// either an atomic constraint, in NormalizedConstraint()
[all...] |
| /freebsd-src/share/man/man5/ |
| H A D | libmap.conf.5 | 57 .It Bq Ar constraint
59 .Ar constraint
60 to all subsequent mappings until the next constraint line or the end
83 that satisfy the constraint.
87 The constraint is matched literally so that only an executable with an
88 identical fully qualified pathname will satisfy the constraint.
91 will not satisfy the constraint
94 This is the default constraint type.
96 A constraint with no path is matched against the basename of the
98 For instance, the constraint
[all …]
|
| /freebsd-src/contrib/llvm-project/llvm/include/llvm/IR/ |
| H A D | InlineAsm.h | 91 /// specified constraint string is legal for the type.
94 // Constraint String Parsing
105 /// MatchingInput - If this is not -1, this is an output constraint where an
106 /// input constraint is required to match it (e.g. "0"). The value is the
107 /// constraint number that matches this one (for example, if this is
108 /// constraint #0 and constraint #4 has the value "0", this will be 4).
111 /// Code - The constraint code, either the register name (in braces) or the
112 /// constraint letter/number.
124 /// Type - The basic type of the constraint: input/output/clobber/label
132 /// MatchingInput - If this is not -1, this is an output constraint where an
[all …]
|
| /freebsd-src/lib/libc/stdlib/ |
| H A D | set_constraint_handler_s.3 | 31 .Nd runtime-constraint violation handling
64 function sets the runtime-constraint violation handler to be
67 The runtime-constraint handler is the callback function invoked when a library
68 function detects a runtime-constraint violation.
73 A pointer to a character string describing the runtime-constraint violation.
89 is called when a runtime-constraint violation occurs.
91 The implementation has a default constraint handler that is used if no calls to
101 pointer, the default handler becomes the current constraint handler.
107 are the standard-defined runtime-constraint handlers provided by the C library.
120 is currently the default runtime-constraint handler.
|
| /freebsd-src/crypto/openssh/ |
| H A D | PROTOCOL.agent | 38 2. restrict-destination-v00@openssh.com key constraint extension
40 The key constraint extension supports destination- and forwarding path-
41 restricted keys. It may be attached as a constraint when keys or
46 constraint[] constraints
48 Where a constraint consists of:
66 will then record the constraint against the key.
73 3. SSH_AGENT_CONSTRAIN_MAXSIGN key constraint
75 This key constraint allows communication to an agent of the maximum
77 the constraint is:
84 3. associated-certs-v00@openssh.com key constraint extension
[all …]
|
| /freebsd-src/contrib/llvm-project/llvm/lib/IR/ |
| H A D | InlineAsm.cpp | 38 // Do various checks on the constraint string and type. in InlineAsm()
76 /// fields in this structure. If the constraint string is not understood,
159 } else if (isdigit(static_cast<unsigned char>(*I))) { // Matching Constraint in Parse()
166 // Check that this is a valid matching constraint! in Parse()
169 return true; // Invalid constraint number. in Parse()
198 // Multi-letter constraint in Parse()
203 // Multi-letter constraint in Parse()
208 assert(N > 0 && "Found a zero letter constraint!"); in Parse()
213 // Single letter constraint. in Parse()
222 /// selectAlternative - Point this constraint to the alternative constraint
[all …]
|
| /freebsd-src/contrib/llvm-project/clang/include/clang/AST/ |
| H A D | ASTConcept.h | 33 /// The result of a constraint satisfaction check, containing the necessary
34 /// information to diagnose an unsatisfied constraint.
36 // The template-like entity that 'owns' the constraint checked here (can be a
56 /// \brief The substituted constraint expr, if the template arguments could be
77 /// Pairs of unsatisfied atomic constraint expressions along with the
78 /// substituted constraint expr, if the template arguments could be
84 /// \brief The result of a constraint satisfaction check, containing the
85 /// necessary information to diagnose an unsatisfied constraint.
222 /// Semantically, this adds an "immediately-declared constraint" with extra arg:
225 /// In the C++ grammar, a type-constraint i
[all...] |
| H A D | ExprConcepts.h | 307 /// \brief A 'type constraint' style return type requirement.
309 /// type parameter with a type-constraint.
311 // the type constraint? Saving the whole TPL makes it easier to handle in
428 /// constraint expression is satisfied ('nested' requirements).
430 Expr *Constraint = nullptr; variable
439 NestedRequirement(Expr *Constraint) in NestedRequirement() argument
441 Constraint->containsUnexpandedParameterPack()), in NestedRequirement()
442 Constraint(Constraint) { in NestedRequirement()
443 assert(Constraint->isInstantiationDependent() && in NestedRequirement()
444 "Nested requirement with non-dependent constraint must be " in NestedRequirement()
[all …]
|
| /freebsd-src/contrib/llvm-project/llvm/lib/CodeGen/GlobalISel/ |
| H A D | InlineAsmLowering.cpp | 29 /// GISelAsmOperandInfo - This contains information for each constraint that we
60 // meaning of an Other constraint can be target-specific and we can't easily in update()
92 // If this is a constraint for a single physreg, or a constraint for a in getRegistersForValue()
102 // No need to allocate a matching input constraint since the constraint it's in getRegistersForValue()
113 // If this is a constraint for a specific physical register, but the type of in getRegistersForValue()
138 assert(!OpInfo.Codes.empty() && "Must have at least one constraint"); in computeConstraintToUse()
289 // Compute the constraint code and ConstraintType to use. in lowerInlineAsm()
292 // The selected constraint typ in lowerInlineAsm()
609 lowerAsmOperandForConstraint(Value * Val,StringRef Constraint,std::vector<MachineOperand> & Ops,MachineIRBuilder & MIRBuilder) const lowerAsmOperandForConstraint() argument
[all...] |
| /freebsd-src/contrib/llvm-project/llvm/include/llvm/Analysis/ |
| H A D | DependenceAnalysis.h | 390 /// Constraint - This private class represents a constraint, as defined
397 /// There are 5 kinds of constraint, in a hierarchy.
398 /// 1) Any - indicates no constraint, any dependence is possible.
405 class Constraint {
415 /// isEmpty - Return true if the constraint is of kind Empty.
418 /// isPoint - Return true if the constraint is of kind Point.
421 /// isDistance - Return true if the constraint is of kind Distance.
424 /// isLine - Return true if the constraint is of kind Line.
426 /// true if the constraint is of kind Distance.
429 /// isAny - Return true if the constraint is of kind Any;
[all …]
|
| H A D | ConstraintSystem.h | 49 /// An entry of the form c0, c1, ... cn represents the following constraint:
54 /// constraint system.
79 // If all variable coefficients are 0, the constraint does not provide any in addVariableRow()
102 // If all variable coefficients are 0, the constraint does not provide any in addVariableRowFill()
115 // The negated constraint R is obtained by multiplying by -1 and adding 1 to in negate()
126 // The negated constraint R is obtained by multiplying by -1. in negateOrEqual()
148 assert(!Constraints.empty() && "Constraint system is empty"); in getLastConstraint()
161 /// Returns the number of rows in the constraint system.
|
| H A D | LazyValueInfo.h | 1 //===- LazyValueInfo.h - Value constraint analysis --------------*- C++ -*-===//
9 // This file defines the interface for lazy computation of value constraint
33 /// This pass computes, caches, and vends lazy value constraint information.
91 /// Return the ConstantRange constraint that is known to hold for the
97 /// Return the ConstantRange constraint that is known to hold for the value
106 /// Return the ConstantRage constraint that is known to hold for the
|
| /freebsd-src/contrib/libucl/src/ |
| H A D | ucl_schema.c | 310 double constraint, val; in ucl_schema_validate_number() local
316 constraint = ucl_object_todouble (elt); in ucl_schema_validate_number()
317 if (constraint <= 0) { in ucl_schema_validate_number()
324 if (fabs (remainder (val, constraint)) > alpha) { in ucl_schema_validate_number()
327 val, constraint, remainder (val, constraint)); in ucl_schema_validate_number()
334 constraint = ucl_object_todouble (elt); in ucl_schema_validate_number()
340 if (val > constraint || (exclusive && val >= constraint)) { in ucl_schema_validate_number()
343 val, constraint); in ucl_schema_validate_number()
350 constraint = ucl_object_todouble (elt); in ucl_schema_validate_number()
356 if (val < constraint || (exclusive && val <= constraint)) { in ucl_schema_validate_number()
[all …]
|
| /freebsd-src/contrib/llvm-project/clang/lib/Basic/Targets/ |
| H A D | SystemZ.h | 93 std::string convertConstraint(const char *&Constraint) const override { in convertConstraint()
94 switch (Constraint[0]) { in convertConstraint()
95 case 'p': // Keep 'p' constraint. in convertConstraint()
98 switch (Constraint[1]) { in convertConstraint()
103 // "^" hints llvm that this is a 2 letter constraint. in convertConstraint()
104 // "Constraint++" is used to promote the string iterator in convertConstraint()
105 // to the next constraint. in convertConstraint()
106 return std::string("^") + std::string(Constraint++, 2); in convertConstraint()
114 return TargetInfo::convertConstraint(Constraint); in getClobbers()
88 convertConstraint(const char * & Constraint) convertConstraint() argument
|
| H A D | AMDGPU.h | 223 // \p Constraint will be left pointing at the last character of in validateAsmConstraint()
224 // the constraint. In practice, it won't be changed unless the in validateAsmConstraint()
225 // constraint is longer than one character. in validateAsmConstraint()
226 std::string convertConstraint(const char *&Constraint) const override {
228 StringRef S(Constraint);
230 return std::string("^") + std::string(Constraint++, 2); in convertConstraint() argument
233 const char *Begin = Constraint; in convertConstraint()
235 if (validateAsmConstraint(Constraint, Info)) in convertConstraint()
236 return std::string(Begin).substr(0, Constraint - Begin + 1); in convertConstraint()
238 Constraint in convertConstraint()
[all...] |
| /freebsd-src/contrib/llvm-project/llvm/lib/Target/RISCV/ |
| H A D | RISCVInstrInfoVPseudos.td | 1012 string Constraint = "",
1021 let Constraints = !interleave([Constraint, "$rd = $merge"], ",");
1030 string Constraint = "",
1038 let Constraints = Constraint;
1046 string Constraint = "",
1055 let Constraints = !interleave([Constraint, "$rd = $merge"], ",");
1066 string Constraint = "",
1075 let Constraints = !interleave([Constraint, "$rd = $merge"], ",");
1085 string Constraint = "",
1095 let Constraints = !interleave([Constraint, "
[all...] |
| H A D | RISCVInstrInfoZvk.td | 254 string Constraint = ""> {
257 Constraint>;
|
| /freebsd-src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ConstraintManager.h | 42 /// Construct a ConditionTruthVal indicating the constraint is constrained
44 ConditionTruthVal(bool constraint) : Val(constraint) {} in ConditionTruthVal() argument
46 /// Construct a ConstraintVal indicating the constraint is underconstrained.
55 /// Return true if the constraint is perfectly constrained to 'true'.
58 /// Return true if the constraint is perfectly constrained to 'false'.
65 /// if the constraint is true of value.
85 /// to be infeasible. This may happen if the underlying constraint solver is
96 /// to be infeasible. This may happen if the underlying constraint solver is
|
| /freebsd-src/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | SimplifyConstraints.cpp | 87 for (const auto *Constraint : Constraints) { in simplifyConstraints() local
88 switch (Constraint->kind()) { in simplifyConstraints()
90 TrueAtoms.insert(Constraint->getAtom()); in simplifyConstraints()
93 if (Constraint->operands()[0]->kind() == Formula::AtomRef) in simplifyConstraints()
94 FalseAtoms.insert(Constraint->operands()[0]->getAtom()); in simplifyConstraints()
97 ArrayRef<const Formula *> operands = Constraint->operands(); in simplifyConstraints()
131 for (const auto *Constraint : Constraints) { in simplifyConstraints() local
133 substitute(*Constraint, Substitutions, arena); in simplifyConstraints()
|
| /freebsd-src/contrib/ldns/ldns/ |
| H A D | dane.h | 43 /** CA constraint */
46 /** Service certificate constraint */
162 * "CA constraint" or "Service Certificate Constraint" to
163 * validate the certificate and, in case of "CA constraint",
232 * "CA constraint" or "Service Certificate Constraint" to
267 * "CA constraint" or "Service Certificate Constraint" to
|
| /freebsd-src/contrib/llvm-project/llvm/include/llvm/MC/MCParser/ |
| H A D | MCParsedAsmOperand.h | 30 /// Constraint - The constraint on this operand. Only valid when parsing
32 std::string Constraint;
37 // that verbosity, just rely on defaulted copy ops. It's only the Constraint
46 void setConstraint(StringRef C) { Constraint = C.str(); } in getConstraint()
47 StringRef getConstraint() { return Constraint; }
31 std::string Constraint; global() variable
|
| /freebsd-src/secure/lib/libcrypto/man/man3/ |
| H A D | X509_STORE_CTX_get_error.3 | 324 .IP "\fBX509_V_ERR_PATH_LENGTH_EXCEEDED: path length constraint exceeded\fR" 4
325 .IX Item "X509_V_ERR_PATH_LENGTH_EXCEEDED: path length constraint exceeded"
369 .IP "\fBX509_V_ERR_PROXY_PATH_LENGTH_EXCEEDED: proxy path length constraint exceeded\fR" 4
370 .IX Item "X509_V_ERR_PROXY_PATH_LENGTH_EXCEEDED: proxy path length constraint exceeded"
371 Proxy path length constraint exceeded.
404 A name constraint violation occurred in the permitted subtrees.
407 A name constraint violation occurred in the excluded subtrees.
416 .IP "\fBX509_V_ERR_UNSUPPORTED_CONSTRAINT_TYPE: unsupported name constraint type\fR" 4
417 .IX Item "X509_V_ERR_UNSUPPORTED_CONSTRAINT_TYPE: unsupported name constraint type"
418 An unsupported name constraint type was encountered. OpenSSL currently only
[all …]
|
| /freebsd-src/crypto/heimdal/lib/asn1/ |
| H A D | asn1parse.y | 227 %type <constraint_spec> Constraint
575 ConstrainedType : Type Constraint
577 /* if (Constraint.type == contentConstrant) {
578 …assert(Constraint.u.constraint.type == octetstring|bitstring-w/o-NamedBitList); // remember to che…
579 if (Constraint.u.constraint.type) {
580 assert((Constraint.u.constraint.type.length % 8) == 0);
583 if (Constraint.u.constraint.encoding) {
591 Constraint : '(' ConstraintSpec ')'
613 lex_error_message("Non-OID used in ENCODED BY constraint");
621 lex_error_message("Non-OID used in ENCODED BY constraint");
|
| /freebsd-src/contrib/llvm-project/llvm/lib/TextAPI/ |
| H A D | TextStubCommon.cpp | 35 IO &IO, ObjCConstraintType &Constraint) { in enumeration() argument
36 IO.enumCase(Constraint, "none", ObjCConstraintType::None); in enumeration()
37 IO.enumCase(Constraint, "retain_release", ObjCConstraintType::Retain_Release); in enumeration()
38 IO.enumCase(Constraint, "retain_release_for_simulator", in enumeration()
40 IO.enumCase(Constraint, "retain_release_or_gc", in enumeration()
42 IO.enumCase(Constraint, "gc", ObjCConstraintType::GC); in enumeration()
|
| /freebsd-src/crypto/openssl/doc/man3/ |
| H A D | X509_STORE_CTX_get_error.pod | 228 =item B<X509_V_ERR_PATH_LENGTH_EXCEEDED: path length constraint exceeded>
291 proxy path length constraint exceeded>
293 Proxy path length constraint exceeded.
339 A name constraint violation occurred in the permitted subtrees.
343 A name constraint violation occurred in the excluded subtrees.
357 unsupported name constraint type>
359 An unsupported name constraint type was encountered. OpenSSL currently only
363 unsupported or invalid name constraint syntax>
365 The format of the name constraint is not recognised: for example an email
|