diff options
| author | Tamar Christina <tamar.christina@arm.com> | 2023-05-05 13:36:01 +0100 |
|---|---|---|
| committer | Tamar Christina <tamar.christina@arm.com> | 2023-05-05 13:47:35 +0100 |
| commit | e487fcc0f7466ea663a0fea52076337bebd42b8b (patch) | |
| tree | 1f1b33bf054c65b0bd38bac0966f3be87f4cc15d | |
| parent | 580cda3c2799b1f8323af770e52f1eb0fa204718 (diff) | |
| download | gcc-e487fcc0f7466ea663a0fea52076337bebd42b8b.zip gcc-e487fcc0f7466ea663a0fea52076337bebd42b8b.tar.gz gcc-e487fcc0f7466ea663a0fea52076337bebd42b8b.tar.bz2 | |
match.pd: Remove commented out line pragmas unless -vv is used.
genmatch currently outputs commented out line directives that have no effect
but the compiler still has to parse only to discard.
They are however handy when debugging genmatch output. As such this moves them
behind the -vv flag.
gcc/ChangeLog:
PR bootstrap/84402
* genmatch.cc (output_line_directive): Only emit commented directive
when -vv.
| -rw-r--r-- | gcc/genmatch.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/genmatch.cc b/gcc/genmatch.cc index 638606b..2533698 100644 --- a/gcc/genmatch.cc +++ b/gcc/genmatch.cc @@ -209,7 +209,7 @@ output_line_directive (FILE *f, location_t location, else fprintf (f, "%s:%d", file, loc.line); } - else + else if (verbose >= 2) /* Other gen programs really output line directives here, at least for development it's right now more convenient to have line information from the generated file. Still keep the directives as comment for now |