Skip to content

math_brute_force remquo test does not check additional requirement for defined 0 quo output for nan results #2644

@arsenm

Description

@arsenm

Under "7.5.1. Additional Requirements Beyond C99 TC2", it is specified that remquo has a defined 0 output for the quo out argument when the result is a nan.

remquo(x, y, &_quo_) returns a NaN and 0 in quo if x is ±∞, or if y is 0 and the other argument is non-NaN or if either argument is a NaN.

The conformance test does not check this, and assumes this is an undefined result. The code has an explicitly wrong check and comment forfloat, double and half

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions