diff options
Diffstat (limited to 'config/gnu-warnings/general')
| -rw-r--r-- | config/gnu-warnings/general | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/config/gnu-warnings/general b/config/gnu-warnings/general new file mode 100644 index 0000000..df4c613 --- /dev/null +++ b/config/gnu-warnings/general @@ -0,0 +1,26 @@ +# Note that some of the flags listed here really should be developer +# flags (listed in separate files, gnu-warnings-developer*) but we put +# them here because they are not raised by the current code and we'd like to +# know if they do start showing up. +# +# NOTE: Don't add -Wpadded here since we can't/won't fix the (many) +# warnings that are emitted. If you need it, add it from the +# environment variable at configure time. +-Wall +-Wcast-qual +-Wconversion +-Wextra +-Wfloat-equal +-Wformat=2 +-Winit-self +-Winvalid-pch +-Wmissing-include-dirs +-Wshadow +-Wundef +-Wwrite-strings +-pedantic +# NOTE: Due to the divergence in the C and C++, we're dropping support for +# compiling the C library with a C++ compiler and dropping the -Wc++-compat +# warning. +# +-Wno-c++-compat |