9.18.2 Other program analyses

--analyse-exceptions

Enable exception analysis. which tries to identify procedures that will not throw an exception. Some optimizations can make use of this information.

--analyse-trail-usage

Enable trail usage analysis, which tries to identify procedures that will not modify the trail. The compiler can use this information to reduce the overhead of trailing.

--analyse-mm-tabling

Identify those goals that do not call procedures that are evaluated using minimal model tabling. The compiler can use this information to reduce the overhead of minimal model tabling.