Skip to content
Snippets Groups Projects
Commit 51c3bfce authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[options] -cxx-parseable-output implies no unmangling

parent c6d8f3af
No related branches found
No related tags found
No related merge requests found
...@@ -142,11 +142,16 @@ module ParseableOutput = ...@@ -142,11 +142,16 @@ module ParseableOutput =
let option_name = "-cxx-parseable-output" let option_name = "-cxx-parseable-output"
let help = "set up Frama-C pretty-printer to output C code that can be reparsed by Frama-C" let help = "set up Frama-C pretty-printer to output C code that can be reparsed by Frama-C"
end) end)
let () =
ParseableOutput.add_set_hook let parseable_output_hook _ f =
(fun _ f -> let k = Kernel.dkey_print_attrs in
let k = Kernel.dkey_print_attrs in if f then begin
if f then Kernel.add_debug_keys k else Kernel.del_debug_keys k) Kernel.add_debug_keys k;
Unmangling.set "none"
end
else Kernel.del_debug_keys k
let () = ParseableOutput.add_set_hook parseable_output_hook
module C_std_headers = module C_std_headers =
String( String(
......
/* run.config /* run.config
NOFRAMAC: NOFRAMAC:
EXECNOW: LOG printer.res.c @frama-c@ @PTEST_FILE@ @CXX@ @MACHDEP@ -cxx-unmangling none -cxx-parseable-output -ocode @PTEST_RESULT@/printer.res.c -print EXECNOW: LOG printer.res.c @frama-c@ @PTEST_FILE@ @CXX@ @MACHDEP@ -cxx-parseable-output -ocode @PTEST_RESULT@/printer.res.c -print
EXECNOW: LOG printer.res2.c @frama-c@ @CXX@ @MACHDEP@ -cxx-unmangling without-qualifier @PTEST_RESULT@/printer.res.c -ocode @PTEST_RESULT@/printer.res2.c -print EXECNOW: LOG printer.res2.c @frama-c@ @CXX@ @MACHDEP@ -cxx-unmangling without-qualifier @PTEST_RESULT@/printer.res.c -ocode @PTEST_RESULT@/printer.res2.c -print
*/ */
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment