HomeSort by: relevance | last modified time | path
    Searched defs:int_10 (Results 1 - 2 of 2) sorted by relevancy

  /src/external/gpl3/gcc.old/dist/gcc/analyzer/
region-model.cc 5231 tree int_10 = build_int_cst (integer_type_node, 10); local
5287 model.add_constraint (b, LT_EXPR, int_10, &ctxt);
5288 ASSERT_EQ (model.eval_condition (b, LT_EXPR, int_10, &ctxt),
5353 ASSERT_EQ (model.eval_condition (b, LT_EXPR, int_10, &ctxt),
  /src/external/gpl3/gcc/dist/gcc/analyzer/
region-model.cc 7960 tree int_10 = build_int_cst (integer_type_node, 10); local
8016 model.add_constraint (b, LT_EXPR, int_10, &ctxt);
8017 ASSERT_EQ (model.eval_condition (b, LT_EXPR, int_10, &ctxt),
8082 ASSERT_EQ (model.eval_condition (b, LT_EXPR, int_10, &ctxt),

Completed in 32 milliseconds