2.3 Compiler Switches

-g, --(no)debuginfo

Emits code with debugging information. Use this option if you want to take advantage of The Mozart Debugger. The -g option is actually an abbreviation for the combination of --controlflowinfo and --staticvarnames.

--(no)controlflowinfo

Include control flow information

--(no)staticvarnames

Include static variable name information

-p, --(no)profile

Emits code with profiling information. Use this option if you want to take advantage of The Mozart Profiler.

--(no)gump

Allow Gump definitions.

--(no)compilerpasses

Show compiler passes.

--(no)warnredecl

Warn about top-level redeclarations.

--(no)warnunused

Warn about unused variables.

--(no)warnunusedformals

Warn about unused variables and formals.

--(no)warnforward

Warn about oo forward declarations.

--(no)warnopt

Warn about missed optimizations.

--(no)expression

Expect expressions, not statements.

--(no)allowdeprecated

Allow use of deprecated syntax.

--(no)staticanalysis

Run static analysis.

--(no)realcore

Output the real non-fancy core syntax.

--(no)debugvalue

Annotate variable values in core output.

--(no)debugtype

Annotate variable types in core output.

--functionalpatterns

Use functional pattern-matching.


Denys Duchier and Christian Schulte
Version 1.0.1 (19990218)