diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-12 18:16:05 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-12 18:16:05 +0200 |
| commit | 9a81ad0f93540acc6a27dd54d56bf42e1bbcca83 (patch) | |
| tree | 9982386d5518da32bbbb147dc256880b1e4b15ac /runtime/include | |
| parent | 5cc18b7860630f822ada1e56ae73c6d96b372361 (diff) | |
| download | compcert-kvx-9a81ad0f93540acc6a27dd54d56bf42e1bbcca83.tar.gz compcert-kvx-9a81ad0f93540acc6a27dd54d56bf42e1bbcca83.zip | |
workaround for non-standard C isfinite macro in math.h
Diffstat (limited to 'runtime/include')
| -rw-r--r-- | runtime/include/math.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/runtime/include/math.h b/runtime/include/math.h new file mode 100644 index 00000000..a61d8c17 --- /dev/null +++ b/runtime/include/math.h @@ -0,0 +1,3 @@ +#define isfinite(__y) (fpclassify(__y) >= FP_ZERO) + +#include_next <math.h> |