https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114877
--- Comment #6 from Joseph S. Myers <jsm28 at gcc dot gnu.org> --- I believe the test is valid: an unspecified (non-wobbly) value is stored, so, for each call to frexp executed in the abstract machine, there must be a value of type int (that compares equal to itself, for example) stored by that call. This seems similar to other cases of unspecified values where we wrongly produce a wobbly value when each execution in the abstract machine should produce a single (unspecified) non-wobbly value; see bug 93806 comments 27-29, for example.
