From 62d759196717734cb01838080cdf5f9f568fe455 Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Mon, 28 Feb 2022 15:27:41 +0200 Subject: [PATCH] Re-enable CIL inlines merging to work around its bug --- src/util/cilfacade.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/src/util/cilfacade.ml b/src/util/cilfacade.ml index 7ad269a0e9..dd7163df18 100644 --- a/src/util/cilfacade.ml +++ b/src/util/cilfacade.ml @@ -36,6 +36,7 @@ let init () = initCIL (); lowerConstants := true; Mergecil.ignore_merge_conflicts := true; + Mergecil.merge_inlines := true; (* work around https://github.com/goblint/analyzer/pull/603#issuecomment-1054204635 *) (* lineDirectiveStyle := None; *) Rmtmps.keepUnused := true; print_CIL_Input := true