diff options
Diffstat (limited to 'config.lib')
| -rw-r--r-- | config.lib | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/config.lib b/config.lib index 55dbc9a16..6f215455a 100644 --- a/config.lib +++ b/config.lib @@ -1350,6 +1350,12 @@ make_compiler_cflags() { cxxflags="$cxxflags -std=gnu++0x" fi + if [ $cc_version -eq 45 ]; then + # Prevent optimisation supposing enums are in a range specified by the standard + # For details, see http://gcc.gnu.org/PR43680 + flags="$flags -fno-tree-vrp" + fi + if [ $cc_version -ge 47 ]; then # Disable -Wnarrowing which gives many warnings, such as: # warning: narrowing conversion of '...' from 'unsigned int' to 'int' inside { } [-Wnarrowing] |