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

  /src/external/gpl3/gcc/dist/gcc/analyzer/
constraint-manager.cc 3879 tree int_4 = build_int_cst (integer_type_node, 4); local
3902 ADD_SAT_CONSTRAINT (model, a, GT_EXPR, int_4);
3903 ASSERT_CONDITION_TRUE (model, a, GT_EXPR, int_4);
3912 ADD_SAT_CONSTRAINT (model, a, LE_EXPR, int_4);
3913 ASSERT_CONDITION_FALSE (model, a, GT_EXPR, int_4);
3924 ADD_UNSAT_CONSTRAINT (model, b, EQ_EXPR, int_4);
3934 ADD_SAT_CONSTRAINT (model, a, LE_EXPR, int_4);
3936 ASSERT_CONDITION_TRUE (model, a, EQ_EXPR, int_4);
3945 ADD_SAT_CONSTRAINT (model, a, LE_EXPR, int_4);
3946 ASSERT_CONDITION_TRUE (model, a, EQ_EXPR, int_4);
    [all...]
  /src/external/gpl3/gcc.old/dist/gcc/analyzer/
constraint-manager.cc 3614 tree int_4 = build_int_cst (integer_type_node, 4); local
3637 ADD_SAT_CONSTRAINT (model, a, GT_EXPR, int_4);
3638 ASSERT_CONDITION_TRUE (model, a, GT_EXPR, int_4);
3647 ADD_SAT_CONSTRAINT (model, a, LE_EXPR, int_4);
3648 ASSERT_CONDITION_FALSE (model, a, GT_EXPR, int_4);
3659 ADD_UNSAT_CONSTRAINT (model, b, EQ_EXPR, int_4);
3669 ADD_SAT_CONSTRAINT (model, a, LE_EXPR, int_4);
3671 ASSERT_CONDITION_TRUE (model, a, EQ_EXPR, int_4);
3680 ADD_SAT_CONSTRAINT (model, a, LE_EXPR, int_4);
3681 ASSERT_CONDITION_TRUE (model, a, EQ_EXPR, int_4);
    [all...]

Completed in 34 milliseconds