| Submitter | Jakub Jelinek |
|---|---|
| Date | Oct. 24, 2011, 4:54 p.m. |
| Message ID | <20111024165411.GB2210@tyan-ft48-01.lab.bos.redhat.com> |
| Download | mbox | patch |
| Permalink | /patch/121383/ |
| State | New |
| Headers | show |
Comments
OK. Jason
Patch
--- gcc/dwarf2out.c 2011-10-20 09:51:51.000000000 +0200 +++ gcc/dwarf2out.c 2011-10-24 18:48:13.266140198 +0200 @@ -22060,7 +22060,8 @@ dwarf2out_source_line (unsigned int line fprintf (asm_out_file, " is_stmt %d", is_stmt ? 1 : 0); last_is_stmt = is_stmt; } - if (SUPPORTS_DISCRIMINATOR && discriminator != 0) + if (SUPPORTS_DISCRIMINATOR && discriminator != 0 + && (dwarf_version >= 4 || !dwarf_strict)) fprintf (asm_out_file, " discriminator %d", discriminator); fputc ('\n', asm_out_file);