diff options
| author | Jerry DeLisle <jvdelisle@gcc.gnu.org> | 2025-09-02 15:58:26 -0700 |
|---|---|---|
| committer | Jerry DeLisle <jvdelisle@gcc.gnu.org> | 2025-09-02 15:58:26 -0700 |
| commit | 071b4126c613881f4cb25b4e5c39032964827f88 (patch) | |
| tree | 7ed805786566918630d1d617b1ed8f7310f5fd8e /gcc/sarif-replay.cc | |
| parent | 845d23f3ea08ba873197c275a8857eee7edad996 (diff) | |
| parent | caa1c2f42691d68af4d894a5c3e700ecd2dba080 (diff) | |
| download | gcc-devel/gfortran-test.zip gcc-devel/gfortran-test.tar.gz gcc-devel/gfortran-test.tar.bz2 | |
Merge branch 'master' into gfortran-testdevel/gfortran-test
Diffstat (limited to 'gcc/sarif-replay.cc')
| -rw-r--r-- | gcc/sarif-replay.cc | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/gcc/sarif-replay.cc b/gcc/sarif-replay.cc index a96c97b..c740c29 100644 --- a/gcc/sarif-replay.cc +++ b/gcc/sarif-replay.cc @@ -93,6 +93,11 @@ static const char *const usage_msg = ( "\n" " --usage\n" " Print this message and exit.\n" +"\n" +"Options for maintainers:\n" +"\n" +" -fdebug-physical-locations\n" +" Dump debugging information about physical locations to stderr.\n" "\n"); static void @@ -182,7 +187,11 @@ parse_options (int argc, char **argv, print_version (); exit (0); } - + else if (strcmp (option, "-fdebug-physical-locations") == 0) + { + opts.m_replay_opts.m_debug_physical_locations = true; + handled = true; + } if (!handled) { if (option[0] == '-') @@ -245,6 +254,8 @@ main (int argc, char **argv) note.finish ("about to replay %qs...", filename); } libgdiagnostics::manager playback_mgr; + playback_mgr.set_debug_physical_locations + (opts.m_replay_opts.m_debug_physical_locations); playback_mgr.add_text_sink (stderr, opts.m_replay_opts.m_diagnostics_colorize); for (auto spec : opts.m_extra_output_specs) |