Skip to content

Commit 188a9ae

Browse files
committed
Add new ignored flags
1 parent 1ccc448 commit 188a9ae

File tree

1 file changed

+12
-3
lines changed

1 file changed

+12
-3
lines changed

src/kernel/mconfig.ml

Lines changed: 12 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -443,6 +443,7 @@ let ocaml_ignored_flags =
443443
"-dflambda-verbose";
444444
"-dinstr";
445445
"-dlambda";
446+
"-dblambda";
446447
"-dlinear";
447448
"-dparsetree";
448449
"-dshape";
@@ -610,7 +611,10 @@ let ocaml_ignored_flags =
610611
"-dsimplify";
611612
"-dreaper";
612613
"-instantiate";
613-
"-dflambda-heavy-invariants"
614+
"-dflambda-heavy-invariants";
615+
"-cfg-eliminate-dead-trap-handlers";
616+
"-no-cfg-eliminate-dead-trap-handlers";
617+
"-module-entry-functions-section"
614618
]
615619

616620
let ocaml_ignored_parametrized_flags =
@@ -647,7 +651,8 @@ let ocaml_ignored_parametrized_flags =
647651
"-use-runtime";
648652
"-error-style";
649653
"-dump-dir";
650-
"-libloc";
654+
"-I-paths";
655+
"-H-paths";
651656
(* flambda-backend specific *)
652657
"-extension";
653658
"-extension-universe";
@@ -671,7 +676,10 @@ let ocaml_ignored_parametrized_flags =
671676
"-flambda2-inline-prim-cost";
672677
"-flambda2-inline-small-function-size";
673678
"-flambda2-inline-threshold";
679+
"-flambda2-join-algorithm";
680+
"-flambda2-expert-cont-specialization-budget";
674681
"-regalloc";
682+
"-regalloc-linscan-threshold";
675683
"-regalloc-param";
676684
"-cached-generic-functions-path";
677685
"-gdwarf-max-function-complexity";
@@ -681,7 +689,8 @@ let ocaml_ignored_parametrized_flags =
681689
"-zero-alloc-checker-join";
682690
"-dgranularity";
683691
"-flambda2-expert-cont-lifting-budget";
684-
"-vectorize-max-block-size"
692+
"-vectorize-max-block-size";
693+
"-save-ir-before"
685694
]
686695

687696
let ocaml_warnings_spec ~error =

0 commit comments

Comments
 (0)