11.10.2 Warnings about possible performance issues

--no-warn-accumulator-swaps

Do not warn about argument order rearrangements done by ‘--introduce-accumulators’.

--no-warn-unneeded-final-statevars

Do not warn about !:S state variables in clause heads whose value will always be the same as !.S.

--no-warn-unneeded-final-statevars-lambda

Do not warn about !:S state variables in lambda expressions whose value will always be the same as !.S.

--no-warn-no-auto-parallelisation

--no-warn-no-auto-parallelization

Do not warn about procedures and goals that could not be automatically parallelised.

--warn-obvious-non-tail-recursion

Warn about recursive calls that are not tail calls even if they obviously cannot be tail calls, because they are followed by other recursive calls.

--warn-non-tail-recursion {none,self,self-and-mutual}

–no-warn-non-tail-recursion

Specify when the compiler should warn about recursive calls that are not tail calls.

--no-warn-no-recursion

Do not generate a warning when a predicate or function in which the programmer requests warnings about non-tail recursion has no recursive calls at all.