2007-03-01 16:18:55 +00:00
|
|
|
dnl
|
2010-07-16 15:04:05 +00:00
|
|
|
dnl Enable all known GCC compiler warnings, except for those
|
|
|
|
dnl we can't yet cope with
|
2007-03-01 16:18:55 +00:00
|
|
|
dnl
|
|
|
|
AC_DEFUN([LIBVIRT_COMPILE_WARNINGS],[
|
|
|
|
dnl ******************************
|
|
|
|
dnl More compiler warnings
|
|
|
|
dnl ******************************
|
|
|
|
|
2012-03-27 15:47:11 +00:00
|
|
|
AC_ARG_ENABLE([werror],
|
|
|
|
AS_HELP_STRING([--enable-werror], [Use -Werror (if supported)]),
|
|
|
|
[set_werror="$enableval"],
|
|
|
|
[if test -d $srcdir/.git; then
|
|
|
|
is_git_version=true
|
|
|
|
set_werror=yes
|
|
|
|
else
|
|
|
|
set_werror=no
|
|
|
|
fi])
|
|
|
|
|
|
|
|
# List of warnings that are not relevant / wanted
|
|
|
|
|
|
|
|
# Don't care about C++ compiler compat
|
|
|
|
dontwarn="$dontwarn -Wc++-compat"
|
|
|
|
dontwarn="$dontwarn -Wabi"
|
|
|
|
dontwarn="$dontwarn -Wdeprecated"
|
|
|
|
# Don't care about ancient C standard compat
|
|
|
|
dontwarn="$dontwarn -Wtraditional"
|
|
|
|
# Don't care about ancient C standard compat
|
|
|
|
dontwarn="$dontwarn -Wtraditional-conversion"
|
|
|
|
# Ignore warnings in /usr/include
|
|
|
|
dontwarn="$dontwarn -Wsystem-headers"
|
|
|
|
# Happy for compiler to add struct padding
|
|
|
|
dontwarn="$dontwarn -Wpadded"
|
|
|
|
# GCC very confused with -O2
|
|
|
|
dontwarn="$dontwarn -Wunreachable-code"
|
|
|
|
# Too many to deal with
|
|
|
|
dontwarn="$dontwarn -Wconversion"
|
|
|
|
# Too many to deal with
|
|
|
|
dontwarn="$dontwarn -Wsign-conversion"
|
|
|
|
# GNULIB gettext.h violates
|
|
|
|
dontwarn="$dontwarn -Wvla"
|
|
|
|
# Many GNULIB header violations
|
|
|
|
dontwarn="$dontwarn -Wundef"
|
|
|
|
# Need to allow bad cast for execve()
|
|
|
|
dontwarn="$dontwarn -Wcast-qual"
|
|
|
|
# We need to use long long in many places
|
|
|
|
dontwarn="$dontwarn -Wlong-long"
|
|
|
|
# We allow manual list of all enum cases without default:
|
|
|
|
dontwarn="$dontwarn -Wswitch-default"
|
|
|
|
# We allow optional default: instead of listing all enum values
|
|
|
|
dontwarn="$dontwarn -Wswitch-enum"
|
|
|
|
# Not a problem since we don't use -fstrict-overflow
|
|
|
|
dontwarn="$dontwarn -Wstrict-overflow"
|
|
|
|
# Not a problem since we don't use -funsafe-loop-optimizations
|
|
|
|
dontwarn="$dontwarn -Wunsafe-loop-optimizations"
|
|
|
|
# Things like virAsprintf mean we can't use this
|
|
|
|
dontwarn="$dontwarn -Wformat-nonliteral"
|
2012-07-25 07:43:37 +00:00
|
|
|
# Gnulib's stat-time.h violates this
|
|
|
|
dontwarn="$dontwarn -Waggregate-return"
|
2012-09-07 17:42:10 +00:00
|
|
|
# gcc 4.4.6 complains this is C++ only; gcc 4.7.0 implies this from -Wall
|
|
|
|
dontwarn="$dontwarn -Wenum-compare"
|
2012-03-27 15:47:11 +00:00
|
|
|
|
2012-10-02 14:37:00 +00:00
|
|
|
# gcc 4.2 treats attribute(format) as an implicit attribute(nonnull),
|
|
|
|
# which triggers spurious warnings for our usage
|
|
|
|
AC_CACHE_CHECK([whether gcc -Wformat allows NULL strings],
|
|
|
|
[lv_cv_gcc_wformat_null_works], [
|
|
|
|
save_CFLAGS=$CFLAGS
|
|
|
|
CFLAGS='-Wunknown-pragmas -Werror -Wformat'
|
|
|
|
AC_COMPILE_IFELSE([AC_LANG_PROGRAM([[
|
|
|
|
#include <stddef.h>
|
|
|
|
static __attribute__ ((__format__ (__printf__, 1, 2))) int
|
|
|
|
foo (const char *fmt, ...) { return !fmt; }
|
|
|
|
]], [[
|
|
|
|
return foo(NULL);
|
|
|
|
]])],
|
|
|
|
[lv_cv_gcc_wformat_null_works=yes],
|
|
|
|
[lv_cv_gcc_wformat_null_works=no])
|
|
|
|
CFLAGS=$save_CFLAGS])
|
|
|
|
|
2012-08-14 20:11:35 +00:00
|
|
|
# Gnulib uses '#pragma GCC diagnostic push' to silence some
|
|
|
|
# warnings, but older gcc doesn't support this.
|
|
|
|
AC_CACHE_CHECK([whether pragma GCC diagnostic push works],
|
|
|
|
[lv_cv_gcc_pragma_push_works], [
|
|
|
|
save_CFLAGS=$CFLAGS
|
|
|
|
CFLAGS='-Wunknown-pragmas -Werror'
|
|
|
|
AC_COMPILE_IFELSE([AC_LANG_PROGRAM([[
|
|
|
|
#pragma GCC diagnostic push
|
|
|
|
#pragma GCC diagnostic pop
|
|
|
|
]])],
|
|
|
|
[lv_cv_gcc_pragma_push_works=yes],
|
|
|
|
[lv_cv_gcc_pragma_push_works=no])
|
|
|
|
CFLAGS=$save_CFLAGS])
|
|
|
|
if test $lv_cv_gcc_pragma_push_works = no; then
|
|
|
|
dontwarn="$dontwarn -Wmissing-prototypes"
|
|
|
|
dontwarn="$dontwarn -Wmissing-declarations"
|
2013-04-03 14:52:40 +00:00
|
|
|
dontwarn="$dontwarn -Wcast-align"
|
2012-08-14 20:11:35 +00:00
|
|
|
fi
|
|
|
|
|
2012-12-19 19:07:39 +00:00
|
|
|
dnl Check whether strchr(s, char variable) causes a bogus compile
|
|
|
|
dnl warning, which is the case with GCC < 4.6 on some glibc
|
|
|
|
AC_CACHE_CHECK([whether GCC -Wlogical-op gives bogus warnings],
|
|
|
|
[lv_cv_gcc_wlogical_op_broken], [
|
|
|
|
save_CFLAGS="$CFLAGS"
|
|
|
|
CFLAGS="-O2 -Wlogical-op -Werror"
|
|
|
|
AC_COMPILE_IFELSE([AC_LANG_PROGRAM([[
|
|
|
|
#include <string.h>
|
|
|
|
]], [[
|
|
|
|
const char *haystack;
|
|
|
|
char needle;
|
|
|
|
return strchr(haystack, needle) == haystack;]])],
|
|
|
|
[lv_cv_gcc_wlogical_op_broken=no],
|
|
|
|
[lv_cv_gcc_wlogical_op_broken=yes])
|
|
|
|
CFLAGS="$save_CFLAGS"])
|
|
|
|
|
2012-03-27 15:47:11 +00:00
|
|
|
# We might fundamentally need some of these disabled forever, but
|
|
|
|
# ideally we'd turn many of them on
|
|
|
|
dontwarn="$dontwarn -Wfloat-equal"
|
|
|
|
dontwarn="$dontwarn -Wdeclaration-after-statement"
|
|
|
|
dontwarn="$dontwarn -Wcast-qual"
|
|
|
|
dontwarn="$dontwarn -Wconversion"
|
|
|
|
dontwarn="$dontwarn -Wsign-conversion"
|
|
|
|
dontwarn="$dontwarn -Wpacked"
|
|
|
|
dontwarn="$dontwarn -Wunused-macros"
|
|
|
|
dontwarn="$dontwarn -Woverlength-strings"
|
|
|
|
dontwarn="$dontwarn -Wstack-protector"
|
|
|
|
|
|
|
|
# Get all possible GCC warnings
|
|
|
|
gl_MANYWARN_ALL_GCC([maybewarn])
|
|
|
|
|
|
|
|
# Remove the ones we don't want, blacklisted earlier
|
|
|
|
gl_MANYWARN_COMPLEMENT([wantwarn], [$maybewarn], [$dontwarn])
|
|
|
|
|
|
|
|
# Check for $CC support of each warning
|
|
|
|
for w in $wantwarn; do
|
|
|
|
gl_WARN_ADD([$w])
|
|
|
|
done
|
|
|
|
|
|
|
|
# GNULIB uses '-W' (aka -Wextra) which includes a bunch of stuff.
|
|
|
|
# Unfortunately, this means you can't simply use '-Wsign-compare'
|
|
|
|
# with gl_MANYWARN_COMPLEMENT
|
|
|
|
# So we have -W enabled, and then have to explicitly turn off...
|
|
|
|
gl_WARN_ADD([-Wno-sign-compare])
|
|
|
|
|
|
|
|
# GNULIB expects this to be part of -Wc++-compat, but we turn
|
|
|
|
# that one off, so we need to manually enable this again
|
|
|
|
gl_WARN_ADD([-Wjump-misses-init])
|
|
|
|
|
|
|
|
# GNULIB turns on -Wformat=2 which implies -Wformat-nonliteral,
|
build: avoid warnings from gcc 4.2.1
OpenBSD ships with gcc 4.2.1, which annoyingly treats all format
strings as though they were also attribute((nonnull)). The two
concepts are orthogonal, though, as evidenced by the number of
spurious warnings it generates on uses where we know that
virReportError specifically handles NULL instead of a format
string; worse, since we now force -Werror on git builds, it
prevents development builds on OpenBSD.
I hate to do this, as it disables ALL format checking on older
gcc, and therefore misses out on some useful checks (code that
happened to compile on Linux may still have type mismatches
when compiled on other platforms, as evidenced by the number
of times I have fixed formatting mismatches for uid_t as found
by warnings on Cygwin), but I don't see any other way to keep
-Werror alive and still compile on OpenBSD.
A more invasive change would be to make virReportError() mark
its format attribute as nonnull, and fix (a lot of) fallout;
we may end up doing that anyways as part of danpb's error
refactoring improvements, but not today.
* src/internal.h (ATTRIBUTE_FMT_PRINTF): Use preferred spellings.
* m4/virt-compile-warnings.m4 (-Wformat): Disable on older gcc.
2012-09-05 17:40:31 +00:00
|
|
|
# so we need to manually re-exclude it. Also, older gcc 4.2
|
|
|
|
# added an implied ATTRIBUTE_NONNULL on any parameter marked
|
|
|
|
# ATTRIBUTE_FMT_PRINT, which causes -Wformat failure on our
|
|
|
|
# intentional use of virReportError(code, NULL).
|
2012-03-27 15:47:11 +00:00
|
|
|
gl_WARN_ADD([-Wno-format-nonliteral])
|
2012-10-02 14:37:00 +00:00
|
|
|
if test $lv_cv_gcc_wformat_null_works = no; then
|
build: avoid warnings from gcc 4.2.1
OpenBSD ships with gcc 4.2.1, which annoyingly treats all format
strings as though they were also attribute((nonnull)). The two
concepts are orthogonal, though, as evidenced by the number of
spurious warnings it generates on uses where we know that
virReportError specifically handles NULL instead of a format
string; worse, since we now force -Werror on git builds, it
prevents development builds on OpenBSD.
I hate to do this, as it disables ALL format checking on older
gcc, and therefore misses out on some useful checks (code that
happened to compile on Linux may still have type mismatches
when compiled on other platforms, as evidenced by the number
of times I have fixed formatting mismatches for uid_t as found
by warnings on Cygwin), but I don't see any other way to keep
-Werror alive and still compile on OpenBSD.
A more invasive change would be to make virReportError() mark
its format attribute as nonnull, and fix (a lot of) fallout;
we may end up doing that anyways as part of danpb's error
refactoring improvements, but not today.
* src/internal.h (ATTRIBUTE_FMT_PRINTF): Use preferred spellings.
* m4/virt-compile-warnings.m4 (-Wformat): Disable on older gcc.
2012-09-05 17:40:31 +00:00
|
|
|
gl_WARN_ADD([-Wno-format])
|
|
|
|
fi
|
2012-03-27 15:47:11 +00:00
|
|
|
|
|
|
|
# This should be < 256 really. Currently we're down to 4096,
|
|
|
|
# but using 1024 bytes sized buffers (mostly for virStrerror)
|
|
|
|
# stops us from going down further
|
|
|
|
gl_WARN_ADD([-Wframe-larger-than=4096])
|
|
|
|
dnl gl_WARN_ADD([-Wframe-larger-than=256])
|
|
|
|
|
|
|
|
# Silence certain warnings in gnulib, and use improved glibc headers
|
|
|
|
AC_DEFINE([lint], [1],
|
|
|
|
[Define to 1 if the compiler is checking for lint.])
|
2012-06-04 17:33:20 +00:00
|
|
|
AH_VERBATIM([FORTIFY_SOURCE],
|
2012-06-07 16:48:05 +00:00
|
|
|
[/* Enable compile-time and run-time bounds-checking, and some warnings,
|
|
|
|
without upsetting newer glibc. */
|
2012-10-23 20:00:32 +00:00
|
|
|
#if !defined _FORTIFY_SOURCE && defined __OPTIMIZE__ && __OPTIMIZE__
|
2012-06-04 17:33:20 +00:00
|
|
|
# define _FORTIFY_SOURCE 2
|
|
|
|
#endif
|
|
|
|
])
|
2012-03-27 15:47:11 +00:00
|
|
|
|
|
|
|
# Extra special flags
|
|
|
|
dnl -fstack-protector stuff passes gl_WARN_ADD with gcc
|
|
|
|
dnl on Mingw32, but fails when actually used
|
|
|
|
case $host in
|
|
|
|
*-*-linux*)
|
|
|
|
dnl Fedora only uses -fstack-protector, but doesn't seem to
|
|
|
|
dnl be great overhead in adding -fstack-protector-all instead
|
|
|
|
dnl gl_WARN_ADD([-fstack-protector])
|
|
|
|
gl_WARN_ADD([-fstack-protector-all])
|
|
|
|
gl_WARN_ADD([--param=ssp-buffer-size=4])
|
|
|
|
;;
|
2007-03-01 16:18:55 +00:00
|
|
|
esac
|
2012-03-27 15:47:11 +00:00
|
|
|
gl_WARN_ADD([-fexceptions])
|
|
|
|
gl_WARN_ADD([-fasynchronous-unwind-tables])
|
|
|
|
gl_WARN_ADD([-fdiagnostics-show-option])
|
|
|
|
gl_WARN_ADD([-funit-at-a-time])
|
|
|
|
|
|
|
|
# Need -fipa-pure-const in order to make -Wsuggest-attribute=pure
|
|
|
|
# fire even without -O.
|
|
|
|
gl_WARN_ADD([-fipa-pure-const])
|
|
|
|
# We should eventually enable this, but right now there are at
|
|
|
|
# least 75 functions triggering warnings.
|
|
|
|
gl_WARN_ADD([-Wno-suggest-attribute=pure])
|
|
|
|
gl_WARN_ADD([-Wno-suggest-attribute=const])
|
|
|
|
|
|
|
|
if test "$set_werror" = "yes"
|
|
|
|
then
|
|
|
|
gl_WARN_ADD([-Werror])
|
|
|
|
fi
|
2007-03-21 14:52:12 +00:00
|
|
|
|
2010-05-14 22:45:52 +00:00
|
|
|
WARN_LDFLAGS=$WARN_CFLAGS
|
|
|
|
AC_SUBST([WARN_CFLAGS])
|
|
|
|
AC_SUBST([WARN_LDFLAGS])
|
2008-12-18 12:20:00 +00:00
|
|
|
|
|
|
|
dnl Needed to keep compile quiet on python 2.4
|
2010-07-16 15:04:05 +00:00
|
|
|
save_WARN_CFLAGS=$WARN_CFLAGS
|
|
|
|
WARN_CFLAGS=
|
|
|
|
gl_WARN_ADD([-Wno-redundant-decls])
|
|
|
|
WARN_PYTHON_CFLAGS=$WARN_CFLAGS
|
2008-12-18 12:20:00 +00:00
|
|
|
AC_SUBST(WARN_PYTHON_CFLAGS)
|
2010-07-16 15:04:05 +00:00
|
|
|
WARN_CFLAGS=$save_WARN_CFLAGS
|
2012-12-19 19:07:39 +00:00
|
|
|
|
|
|
|
if test "$gl_cv_warn_c__Wlogical_op" = yes &&
|
|
|
|
test "$lv_cv_gcc_wlogical_op_broken" = yes; then
|
|
|
|
AC_DEFINE_UNQUOTED([BROKEN_GCC_WLOGICALOP], 1,
|
|
|
|
[Define to 1 if gcc -Wlogical-op reports false positives on strchr])
|
|
|
|
fi
|
2007-03-01 16:18:55 +00:00
|
|
|
])
|