Searched defs:constraint (Results 1 - 14 of 14) sorted by relevance

/freebsd-head/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h42 /// Construct a ConditionTruthVal indicating the constraint is constrained
44 ConditionTruthVal(bool constraint) : Val(constraint) {} argument
46 /// Construct a ConstraintVal indicating the constraint is underconstrained.
55 /// Return true if the constraint is perfectly constrained to 'true'.
60 /// Return true if the constraint is perfectly constrained to 'false'.
71 /// if the constraint is true of value.
/freebsd-head/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitors.h175 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption) argument
176 : Constraint(constraint), Assumption(assumption),
190 /// Checks if the constraint is valid in the current state.
346 /// Track if we found the node where the constraint was first added.
/freebsd-head/contrib/llvm-project/lld/ELF/
H A DOutputSections.h88 ConstraintKind constraint = ConstraintKind::NoConstraint; member in class:lld::elf::final
/freebsd-head/crypto/heimdal/lib/asn1/
H A Dsymbol.h127 struct constraint_spec *constraint; member in struct:type
/freebsd-head/gnu/usr.bin/grep/
H A Ddfa.h175 is set indicates that the constraint succeeds in the corresponding
189 The macro SUCCEEDS_IN_CONTEXT determines whether a a given constraint
194 #define MATCHES_NEWLINE_CONTEXT(constraint, prevn, currn) \
195 ((constraint) & 1 << (((prevn) ? 2 : 0) + ((currn) ? 1 : 0) + 4))
196 #define MATCHES_LETTER_CONTEXT(constraint, prevl, currl) \
197 ((constraint) & 1 << (((prevl) ? 2 : 0) + ((currl) ? 1 : 0)))
198 #define SUCCEEDS_IN_CONTEXT(constraint, prevn, currn, prevl, currl) \
199 (MATCHES_NEWLINE_CONTEXT(constraint, prevn, currn) \
200 && MATCHES_LETTER_CONTEXT(constraint, prevl, currl))
202 /* The following macros give information about what a constraint depend
227 unsigned constraint; /* Constraint for matching this position. */ member in struct:__anon4949
247 unsigned char constraint; /* Constraint for this state to accept. */ member in struct:__anon4951
[all...]
H A Ddfa.c1424 s->elems[i].constraint |= p.constraint;
1454 m->elems[m->nelem++].constraint |= s2->elems[j++].constraint;
1484 int constraint; local
1491 hash ^= s->elems[i].index + s->elems[i].constraint;
1500 if (s->elems[j].constraint
1501 != d->states[i].elems.elems[j].constraint
1516 d->states[i].constraint = 0;
1525 constraint
[all...]
/freebsd-head/contrib/libucl/src/
H A Ducl_schema.c297 double constraint, val; local
303 constraint = ucl_object_todouble (elt);
304 if (constraint <= 0) {
311 if (fabs (remainder (val, constraint)) > alpha) {
314 val, constraint);
321 constraint = ucl_object_todouble (elt);
327 if (val > constraint || (exclusive && val >= constraint)) {
330 val, constraint);
337 constraint
363 int64_t constraint; local
874 int64_t constraint, i; local
[all...]
/freebsd-head/contrib/libgnuregex/
H A Dregex_internal.c1447 dfa->nodes[dfa->nodes_len].constraint = 0;
1638 if (type == CHARACTER && !node->constraint)
1649 else if (type == ANCHOR || node->constraint)
1690 unsigned int constraint = node->constraint;
1692 if (type == CHARACTER && !constraint)
1704 if (constraint)
1721 if (NOT_SATISFY_PREV_CONSTRAINT (constraint,context))
1687 unsigned int constraint = node->constraint; local
H A Dregcomp.c48 static int duplicate_node (re_dfa_t *dfa, int org_idx, unsigned int constraint);
50 unsigned int constraint);
1386 dfa->nodes[node->node_idx].constraint = node->token.opr.ctx_type;
1472 Note that duplicated nodes have constraint INIT_CONSTRAINT in addition
1473 to their own constraint. */
1481 unsigned int constraint = init_constraint;
1488 also have the constraint. Then duplicate the epsilon closure
1493 clone_dest = duplicate_node (dfa, org_dest, constraint);
1524 /* In case of the node has another constraint, add it. */
1525 constraint |
1474 unsigned int constraint = init_constraint; local
1576 search_duplicated_node(const re_dfa_t *dfa, int org_node, unsigned int constraint) argument
1594 duplicate_node(re_dfa_t *dfa, int org_idx, unsigned int constraint) argument
[all...]
H A Dregex_internal.h305 unsigned int constraint : 10; /* context constraint */ member in struct:__anon7
483 #define NOT_SATISFY_PREV_CONSTRAINT(constraint,context) \
484 ((((constraint) & PREV_WORD_CONSTRAINT) && !IS_WORD_CONTEXT (context)) \
485 || ((constraint & PREV_NOTWORD_CONSTRAINT) && IS_WORD_CONTEXT (context)) \
486 || ((constraint & PREV_NEWLINE_CONSTRAINT) && !IS_NEWLINE_CONTEXT (context))\
487 || ((constraint & PREV_BEGBUF_CONSTRAINT) && !IS_BEGBUF_CONTEXT (context)))
489 #define NOT_SATISFY_NEXT_CONSTRAINT(constraint,context) \
490 ((((constraint) & NEXT_WORD_CONSTRAINT) && !IS_WORD_CONTEXT (context)) \
491 || (((constraint)
[all...]
H A Dregexec.c1233 unsigned int constraint = dfa->nodes[node].constraint;
1236 if (!constraint)
1238 if (NOT_SATISFY_NEXT_CONSTRAINT (constraint, context))
2537 if (dfa->nodes[cur_node_idx].constraint)
2542 if (NOT_SATISFY_NEXT_CONSTRAINT (dfa->nodes[cur_node_idx].constraint,
2609 if (node->constraint)
2613 if (NOT_SATISFY_NEXT_CONSTRAINT (node->constraint, context))
3444 /* If the new state has context constraint,
3583 unsigned int constraint
1230 unsigned int constraint = dfa->nodes[node].constraint; local
3579 unsigned int constraint = node->constraint; local
[all...]
/freebsd-head/contrib/binutils/ld/
H A Dldlang.h151 int constraint; member in struct:lang_output_section_statement_struct
H A Dldlang.c1217 if (entry->s.output_section_statement.constraint != -1)
1229 lang_output_section_statement_lookup_1 (const char *const name, int constraint) argument
1247 constraint. */
1251 if (entry->s.output_section_statement.constraint != -1
1252 && (constraint == 0
1253 || (constraint == entry->s.output_section_statement.constraint
1254 && constraint != SPECIAL)))
1278 entry->s.output_section_statement.constraint = constraint;
5500 lang_enter_output_section_statement(const char *output_section_statement_name, etree_type *address_exp, enum section_type sectype, etree_type *align, etree_type *subalign, etree_type *ebase, int constraint) argument
[all...]
/freebsd-head/contrib/binutils/gas/config/
H A Dtc-arm.c6108 #define constraint(expr, err) do { \
6538 constraint (Rn == inst.operands[0].reg || Rn == inst.operands[1].reg,
6626 constraint ((inst.instruction & 0xf0) != 0x40
6640 constraint (msb > 32, _("bit-field extends past end of register"));
6659 constraint (msb > 32, _("bit-field extends past end of register"));
6671 constraint (inst.operands[2].imm + inst.operands[3].imm > 32,
6700 constraint (inst.operands[0].imm != BFD_RELOC_ARM_PLT32,
6762 constraint (inst.cond != COND_ALWAYS, BAD_COND);
6934 constraint (inst.operands[0].reg % 2 != 0,
6936 constraint (ins
6104 #define constraint macro
[all...]

Completed in 182 milliseconds