Searched refs:float_3 (Results 1 – 2 of 2) sorted by relevance
2056 tree float_3 = build_real_from_int_cst (double_type_node, int_3); in test_constant_comparisons() local2060 ADD_SAT_CONSTRAINT (model, f, GT_EXPR, float_3); in test_constant_comparisons()
3715 tree float_3 = build_real_from_int_cst (double_type_node, int_3); in test_constant_comparisons() local3720 ADD_SAT_CONSTRAINT (model, f, GT_EXPR, float_3); in test_constant_comparisons()