diff --git a/frama_Clang_option.ml b/frama_Clang_option.ml index 2e806ff3e981cbe7e2900a77546af0fe7ee4d6f9..6eb91e91bc68c0ba50182483a937f0b49458e0d9 100644 --- a/frama_Clang_option.ml +++ b/frama_Clang_option.ml @@ -142,6 +142,11 @@ module ParseableOutput = 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" end) +let () = + ParseableOutput.add_set_hook + (fun _ f -> + let k = Kernel.dkey_print_attrs in + if f then Kernel.add_debug_keys k else Kernel.del_debug_keys k) module C_std_headers = String( diff --git a/tests/basic/printer.cpp b/tests/basic/printer.cpp index 88e4eea8561c378e560e421ddae7ca8d31b51682..8fc14516d38aa9fbb2f9fe9c01d440d44773a04c 100644 --- a/tests/basic/printer.cpp +++ b/tests/basic/printer.cpp @@ -1,6 +1,6 @@ /* run.config NOFRAMAC: -EXECNOW: LOG printer.res.c @frama-c@ @PTEST_FILE@ @CXX@ @MACHDEP@ -cxx-unmangling none -kernel-msg-key printer:attrs -ocode @PTEST_RESULT@/printer.res.c -print +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.res2.c @frama-c@ @CXX@ @MACHDEP@ -cxx-unmangling without-qualifier @PTEST_RESULT@/printer.res.c -ocode @PTEST_RESULT@/printer.res2.c -print */