Home	Sort by: relevance | last modified time | path

Full Search in project(s): src xsrc 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 29 milliseconds

Indexes created Sun Mar 01 05:31:48 UTC 2026