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 /ports/unix/variants/coverage | |
| parent | f31f9a8b70db03cbcbcf39b493f959d0e284962a (diff) | |
| download | micropython-30840ebc9925bb8ef025dbc2d5982b1bfeb75f1b.tar.gz micropython-30840ebc9925bb8ef025dbc2d5982b1bfeb75f1b.zip | |
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 'ports/unix/variants/coverage')
| -rw-r--r-- | ports/unix/variants/coverage/mpconfigvariant.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/unix/variants/coverage/mpconfigvariant.mk b/ports/unix/variants/coverage/mpconfigvariant.mk index d5c41a157c..b56ffcbbc0 100644 --- a/ports/unix/variants/coverage/mpconfigvariant.mk +++ b/ports/unix/variants/coverage/mpconfigvariant.mk @@ -5,7 +5,7 @@ DEBUG ?= 1 CFLAGS += \ -fprofile-arcs -ftest-coverage \ - -Wdouble-promotion -Wformat -Wmissing-declarations -Wmissing-prototypes -Wsign-compare \ + -Wformat -Wmissing-declarations -Wmissing-prototypes \ -Wold-style-definition -Wpointer-arith -Wshadow -Wuninitialized -Wunused-parameter \ -DMICROPY_UNIX_COVERAGE |