diff options
| author | stijn <stijn@ignitron.net> | 2020-04-09 13:59:11 +0200 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2020-04-18 22:42:28 +1000 |
| commit | 30840ebc9925bb8ef025dbc2d5982b1bfeb75f1b (patch) | |
| tree | 082f9e270bf84692952d73802e39ed70844e8833 /tools/metrics.py | |
| parent | f31f9a8b70db03cbcbcf39b493f959d0e284962a (diff) | |
all: Enable extra conversion warnings where applicable.
Add -Wdouble-promotion and -Wfloat-conversion for most ports to ban out
implicit floating point conversions, and add extra Travis builds using
MICROPY_FLOAT_IMPL_FLOAT to uncover warnings which weren't found
previously. For the unix port -Wsign-comparison is added as well but only
there since only clang supports this but gcc doesn't.
Diffstat (limited to 'tools/metrics.py')
0 files changed, 0 insertions, 0 deletions