File tree Expand file tree Collapse file tree 2 files changed +5
-0
lines changed Expand file tree Collapse file tree 2 files changed +5
-0
lines changed Original file line number Diff line number Diff line change @@ -447,6 +447,7 @@ sub parseOpts {
447
447
for GCC.
448
448
{ RV_Kcc::Opts::pushArg('cppArgs', "-d$chars"); }
449
449
-ftranslation-depth=<depth> Compile program up to a given depth. [undocumented]
450
+ -fdebug-translation Run translation semantics with GDB. [undocumented]
450
451
-flinking-depth=<depth> Link program up to a given depth. [undocumented]
451
452
-fmessage-length=0 Write all error messages on a single line.
452
453
-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 {
523
523
push (@krun , arg(' -ftranslation-depth=' ));
524
524
}
525
525
526
+ if (arg(' -fdebug-translation' )) {
527
+ push (@krun , ' --debug' );
528
+ }
529
+
526
530
my ($rvErrorJson , $string ) = (getRVErrorJson(), QUOTE_STRING);
527
531
my $json = " \\ dv{SortString{}}($rvErrorJson )" ;
528
532
You can’t perform that action at this time.
0 commit comments