diff options
| author | stijn | 2020-04-09 13:59:11 +0200 |
|---|---|---|
| committer | Damien George | 2020-04-18 22:42:28 +1000 |
| commit | 30840ebc9925bb8ef025dbc2d5982b1bfeb75f1b (patch) | |
| tree | 082f9e270bf84692952d73802e39ed70844e8833 /ports/esp32 | |
| 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 'ports/esp32')
| -rw-r--r-- | ports/esp32/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ports/esp32/Makefile b/ports/esp32/Makefile index 078945585..bd89e8b0c 100644 --- a/ports/esp32/Makefile +++ b/ports/esp32/Makefile @@ -382,6 +382,9 @@ OBJ_MP += $(addprefix $(BUILD)/, $(EXTMOD_SRC_C:.c=.o)) OBJ_MP += $(addprefix $(BUILD)/, $(LIB_SRC_C:.c=.o)) OBJ_MP += $(addprefix $(BUILD)/, $(DRIVERS_SRC_C:.c=.o)) +# Only enable this for the MicroPython source: ignore warnings from esp-idf. +$(OBJ_MP): CFLAGS += -Wdouble-promotion -Wfloat-conversion + # List of sources for qstr extraction SRC_QSTR += $(SRC_C) $(EXTMOD_SRC_C) $(LIB_SRC_C) $(DRIVERS_SRC_C) # Append any auto-generated sources that are needed by sources listed in SRC_QSTR |