[m-rev.] for review: optimization_options.m

[Zoltan Somogyi]

This implements Mantis feature request #495. For review by Peter,
since he made the request.

The diff does not contain a test case, since this kind of thing does not fit
into our testing infrastructure. However, I did test it manually. An old mmc,
when invoked with --deforestation -O2, does not perform deforestation,
because the -O2 switches off deforestation. An mmc with this diff *does*
perform deforestation with the same argument list.

Zoltan.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.mantis495
Type: application/octet-stream
Size: 5937 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20200927/e264f11c/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.mantis495.xz
Type: application/octet-stream
Size: 59924 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20200927/e264f11c/attachment-0003.obj>