File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -447,6 +447,7 @@ sub parseOpts {
447447 for GCC.
448448 { RV_Kcc::Opts::pushArg('cppArgs', "-d$chars"); }
449449 -ftranslation-depth=<depth> Compile program up to a given depth. [undocumented]
450+ -fdebug-translation Run translation semantics with GDB. [undocumented]
450451 -flinking-depth=<depth> Link program up to a given depth. [undocumented]
451452 -fmessage-length=0 Write all error messages on a single line.
452453 -frunner-script Compile program to perl script with analysis tool options. [undocumented]
Original file line number Diff line number Diff line change @@ -523,6 +523,10 @@ sub getTranslationCommand {
523523 push (@krun , arg(' -ftranslation-depth=' ));
524524 }
525525
526+ if (arg(' -fdebug-translation' )) {
527+ push (@krun , ' --debug' );
528+ }
529+
526530 my ($rvErrorJson , $string ) = (getRVErrorJson(), QUOTE_STRING);
527531 my $json = " \\ dv{SortString{}}($rvErrorJson )" ;
528532
You can’t perform that action at this time.
0 commit comments