Patrick Georgi has uploaded this change for review. ( https://review.coreboot.org/c/coreboot/+/32814
Change subject: build system: Add various compiler flags that enable warnings on UB
......................................................................
build system: Add various compiler flags that enable warnings on UB
Some types of Undefined Behavior can be determined statically at compile
time and gcc now has a set of flags that make it emit warnings in that
case instead of doing the __builtin_trap() / optimize / UD2-opcode dance
that silently breaks the resulting binary.
Change-Id: I3aa5ca00c9838cc7517160069310a1ef85372027
Signed-off-by: Patrick Georgi <pgeorgi(a)google.com>
---
M Makefile.inc
1 file changed, 2 insertions(+), 0 deletions(-)
git pull ssh://review.coreboot.org:29418/coreboot refs/changes/14/32814/1
diff --git a/Makefile.inc b/Makefile.inc
index 9860da1..f2e010c 100644
--- a/Makefile.inc
+++ b/Makefile.inc
@@ -410,6 +410,8 @@
ifeq ($(CCC_ANALYZER_OUTPUT_FORMAT),)
CFLAGS_common += -Wno-packed-not-aligned
CFLAGS_common += -fconserve-stack
+CFLAGS_common += -pedantic-errors -Wnull-dereference
+CFLAGS_common += -Wno-aggressive-loop-optimizations -Wreturn-type
# cf. commit f69a99db (coreboot: x86: enable gc-sections)
CFLAGS_common += -Wno-unused-but-set-variable
endif
--
To view, visit https://review.coreboot.org/c/coreboot/+/32814
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings
Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: I3aa5ca00c9838cc7517160069310a1ef85372027
Gerrit-Change-Number: 32814
Gerrit-PatchSet: 1
Gerrit-Owner: Patrick Georgi <pgeorgi(a)google.com>
Gerrit-MessageType: newchange