Searched refs:float_4 (Results 1 – 2 of 2) sorted by relevance
| /netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| H A D | constraint-manager.cc | 2057 tree float_4 = build_real_from_int_cst (double_type_node, int_4); in test_constant_comparisons() local
2061 ADD_SAT_CONSTRAINT (model, f, LE_EXPR, float_4); in test_constant_comparisons()
2062 ASSERT_CONDITION_UNKNOWN (model, f, EQ_EXPR, float_4); in test_constant_comparisons()
|
| /netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/ |
| H A D | constraint-manager.cc | 3716 tree float_4 = build_real_from_int_cst (double_type_node, int_4); in test_constant_comparisons() local
3721 ADD_SAT_CONSTRAINT (model, f, LE_EXPR, float_4); in test_constant_comparisons()
3722 ASSERT_CONDITION_UNKNOWN (model, f, EQ_EXPR, float_4); in test_constant_comparisons()
|