From 244953c04d12d1615db4f2d1141286c32c1f6ad6 Mon Sep 17 00:00:00 2001 From: Mitya Lyubarskiy Date: Mon, 15 Apr 2019 01:59:22 -0700 Subject: [PATCH] [infer] Add +14 as warn-as error Reviewed By: jberdine Differential Revision: D14912421 fbshipit-source-id: ae00ce640 --- infer/src/dune.common.in | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/infer/src/dune.common.in b/infer/src/dune.common.in index efc34cd8e..ac151c3f3 100644 --- a/infer/src/dune.common.in +++ b/infer/src/dune.common.in @@ -32,8 +32,15 @@ let facebook = is_yes "@IS_FACEBOOK_TREE@" let extra_cflags = if "@EXTRA_CFLAGS@" = "" then [] else ["@EXTRA_CFLAGS@"] let common_cflags = + (* + * A known issue: At the moment of writing warning 14 (illegal backslash + * escape in string) does not manifest as an error, presumably due to + * peculiarities in communication between preprocessor and compiler. + * Still leave it for visibility and in hope that the issue will be + * fixed one day. + *) let fatal_warnings = - "+3+5+6+8+10+11+12+18+19+20+21+23+26+29+27+32+33+34+35+37+38+39+50+52+57+60" + "+3+5+6+8+10+11+12+14+18+19+20+21+23+26+29+27+32+33+34+35+37+38+39+50+52+57+60" in let warnings = fatal_warnings ^ "-4-9-40-41-42-45-48" in let common_flags =