From 52f983253a52b5c742d855a490448a641138a881 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Thu, 22 Oct 2015 10:01:11 -0700 Subject: [PATCH] remove -rec flag from atdgen Summary: public Remove spurious recursion between type and function declarations in the files generated via `atdgen`. This speeds up the compilation time of `make clang` by almost half (one-shot measurements: 59s -> 36s). Silence warning 39 on this generated code to make compilation pass. Reviewed By: akotulski Differential Revision: D2570506 fb-gh-sync-id: 8edba22 --- infer/src/Makefile | 8 ++++---- infer/src/clang/_tags | 1 + 2 files changed, 5 insertions(+), 4 deletions(-) create mode 100644 infer/src/clang/_tags diff --git a/infer/src/Makefile b/infer/src/Makefile index 3af4943c1..6d5d75fbe 100644 --- a/infer/src/Makefile +++ b/infer/src/Makefile @@ -175,10 +175,10 @@ $(INFERPRINT_ATDGEN_STUBS): $(INFERPRINT_ATDGEN_STUB_ATD) $(CLANG_ATDGEN_STUBS) $(INFER_CLANG_AST_PROJ) $(INFER_CLANG_AST_MAIN): $(CLANG_ATDGEN_STUB_ATD) $(CLANG_PLUGIN_BINARIES) $(FCP_CLANG_AST_PROJ) $(FCP_CLANG_AST_MAIN) # rebuild the artifacts of the AST files whenever they're upated in FCP # also copy the ast_proj files whenever they are updated - $(ATDGEN) -rec -t $(CLANG_ATDGEN_STUB_ATD) -o $(CLANG_ATDGEN_STUB_BASE) - $(ATDGEN) -rec -b $(CLANG_ATDGEN_STUB_ATD) -o $(CLANG_ATDGEN_STUB_BASE) - $(ATDGEN) -rec -j $(CLANG_ATDGEN_STUB_ATD) -o $(CLANG_ATDGEN_STUB_BASE) - $(ATDGEN) -rec -v $(CLANG_ATDGEN_STUB_ATD) -o $(CLANG_ATDGEN_STUB_BASE) + $(ATDGEN) -t $(CLANG_ATDGEN_STUB_ATD) -o $(CLANG_ATDGEN_STUB_BASE) + $(ATDGEN) -b $(CLANG_ATDGEN_STUB_ATD) -o $(CLANG_ATDGEN_STUB_BASE) + $(ATDGEN) -j $(CLANG_ATDGEN_STUB_ATD) -o $(CLANG_ATDGEN_STUB_BASE) + $(ATDGEN) -v $(CLANG_ATDGEN_STUB_ATD) -o $(CLANG_ATDGEN_STUB_BASE) $(COPY) $(CLANG_OCAML_BUILD)/clang_ast_proj.ml $(CLANG_SOURCES) $(COPY) $(CLANG_OCAML_BUILD)/clang_ast_proj.mli $(CLANG_SOURCES) $(COPY) $(CLANG_OCAML_ROOT)/clang_ast_visit.ml $(CLANG_SOURCES) diff --git a/infer/src/clang/_tags b/infer/src/clang/_tags new file mode 100644 index 000000000..afa6e9900 --- /dev/null +++ b/infer/src/clang/_tags @@ -0,0 +1 @@ +: warn(-39)