NetBSD Cross-Reference & Source Code Search Engine

Home	Sort by: relevance \| last modified time \| path

Full Search

in project(s):

Definition

Symbol

File Path

History

| | Help

Searched defs:a_plus_one (Results 1 - 2 of 2) sorted by relevancy

/src/external/gpl3/gcc/dist/gcc/analyzer/
constraint-manager.cc	`3888 tree a_plus_one = build2 (PLUS_EXPR, integer_type_node, a, int_1); local 4004 ADD_SAT_CONSTRAINT (model, a_plus_one, GT_EXPR, int_3); 4010 ADD_UNSAT_CONSTRAINT (model, a_plus_one, GT_EXPR, int_3);`
/src/external/gpl3/gcc.old/dist/gcc/analyzer/
constraint-manager.cc	`3623 tree a_plus_one = build2 (PLUS_EXPR, integer_type_node, a, int_1); local 3739 ADD_SAT_CONSTRAINT (model, a_plus_one, GT_EXPR, int_3); 3745 ADD_UNSAT_CONSTRAINT (model, a_plus_one, GT_EXPR, int_3);`

Completed in 27 milliseconds

OpenGrok