diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-02-16 13:52:18 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-02-17 18:38:50 +0100 |
| commit | e0693cd68164948261e772a9081e155c9a95ec8f (patch) | |
| tree | eac1b92ef27b2cf9ba2e36922a45317d2cd6cee0 /validation/expand | |
| parent | d2e557a42b55e1014219a3e0e5726fc74392a272 (diff) | |
| download | sparse-dev-e0693cd68164948261e772a9081e155c9a95ec8f.tar.gz | |
builtin: add typechecking of isnan(), isinf(), ...
These builtins should accept a single argument of any
floating-point type and should not do the usual promotion
of float to double.
Add the type and argument number check in the builtin's
evaluate method.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/expand')
0 files changed, 0 insertions, 0 deletions