From 209bb2fd8314c0d52e8cee63ec0b1fca4924387f Mon Sep 17 00:00:00 2001 From: Isaku Yamahata Date: Tue, 28 May 2019 16:25:31 -0700 Subject: [PATCH] [LibOS] Enable -Wnull-dereference --- LibOS/shim/src/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/LibOS/shim/src/Makefile b/LibOS/shim/src/Makefile index dc934271..a48551ab 100644 --- a/LibOS/shim/src/Makefile +++ b/LibOS/shim/src/Makefile @@ -12,6 +12,7 @@ OMIT_FRAME_POINTER = no CFLAGS = -Wall -fPIC -std=c11 -Winline -Wwrite-strings \ -fmerge-all-constants -Wstrict-prototypes \ -Werror=implicit-function-declaration \ + $(cc-option, -Wnull-dereference) \ -fno-stack-protector -fno-builtin -Wno-inline \ -I../include -I../../../Pal/lib -I../../../Pal/include/pal