File tree Expand file tree Collapse file tree 2 files changed +2
-2
lines changed
Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -3427,7 +3427,7 @@ std::string expr2ct::convert_with_precedence(
34273427 return convert_function (src, " W_OK" , precedence = 16 );
34283428
34293429 else if (src.id () == ID_is_invalid_pointer)
3430- return convert_function (src, " IS-INVALID-POINTER " , precedence = 16 );
3430+ return convert_function (src, " IS_INVALID_POINTER " , precedence = 16 );
34313431
34323432 else if (src.id ()==ID_good_pointer)
34333433 return convert_function (src, " GOOD_POINTER" , precedence=16 );
Original file line number Diff line number Diff line change @@ -217,7 +217,7 @@ IREP_ID_ONE(invalid)
217217IREP_ID_TWO(C_invalid_object, #invalid_object)
218218IREP_ID_ONE(pointer_offset)
219219IREP_ID_ONE(pointer_object)
220- IREP_ID_TWO (is_invalid_pointer, is-invalid-pointer )
220+ IREP_ID_ONE (is_invalid_pointer)
221221IREP_ID_ONE(ieee_float_equal)
222222IREP_ID_ONE(ieee_float_notequal)
223223IREP_ID_ONE(isnan)
You can’t perform that action at this time.
0 commit comments