summaryrefslogtreecommitdiff
path: root/extraction
diff options
context:
space:
mode:
authorGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2014-07-28 08:45:24 +0000
committerGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2014-07-28 08:45:24 +0000
commit1cb7b7b8b70cb94c9bc9ef34517d95e66c4c336f (patch)
tree42d5ccdb48685298c5931c52b016e8f1ad30796d /extraction
parentf4e106d4fc1cce484678b5cdd86ab57d7a43076a (diff)
The NaN behavior of float_of_single differs on PowerPC and on IA32/ARM.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2550 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'extraction')
0 files changed, 0 insertions, 0 deletions