http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56036
Bug #: 56036
Summary: Wrong indentation in multiple -O options explaination
Classification: Unclassified
Product: gcc
Version: 4.8.0
Status: UNCONFIRMED
Severity: trivial
Priority: P3
Component: other
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: robo...@celest.fr
Hi there,
the indentation in the manual describing what happens when multiple -O options
are specified on the command line is wrong. It's the same as the last item
(-Og) so it seems it only applies to that last options instead of being related
to -O options in general. Here is a patch to fix that, made against trunk
r195301.
Best regards,
Thomas Preud'homme
