Remove setting of dead code options for HTML / SARIF

Author: michael-schwarz

src/maingoblint.ml

@@ -51,19 +51,13 @@ let rec option_spec_list: Arg_complete.speclist Lazy.t = lazy (
       set_string "outfile" "result";
     if get_string "exp.g2html_path" = "" then
       set_string "exp.g2html_path" (Fpath.to_string exe_dir);
-    set_bool "ana.dead-code.lines" true;
-    set_bool "ana.dead-code.branches" true;
-    set_bool "ana.dead-code.functions" true;
     set_bool "exp.cfgdot" true;
     set_bool "g2html" true;
     set_string "result" "fast_xml"
   in
   let configure_sarif () =
     if (get_string "outfile" = "") then
       set_string "outfile" "goblint.sarif";
-    set_bool "ana.dead-code.lines" true;
-    set_bool "ana.dead-code.branches" true;
-    set_bool "ana.dead-code.functions" true;
     set_string "result" "sarif"
   in
   let complete_option_value option s =