11.10.1.4 Warnings about possible pragma incorrectness

--no-warn-ambiguous-pragmas

--no-warn-ambiguous-pragma

Do not warn about pragmas that do not specify whether they are for a predicate or a function, even when there is both a predicate and a function with the given name and arity.

--warn-potentially-ambiguous-pragmas

--warn-potentially-ambiguous-pragma

Warn about pragmas that do not specify whether they are for a predicate or a function.

--no-warn-table-with-inline

Do not warn about tabled procedures that also have a pragma inline declaration. (This combination does not work, because inlined copies of procedure bodies cannot be tabled.)

--no-warn-unneeded-purity-pragma

Do not warn about purity promise pragmas that specify a purity level that is less pure than the definition of the predicate or function that they apply to.

--no-warn-nonexported-pragma

Do not warn about non-exported pragmas that declare something about an exported predicate or function (such as an assertion that it terminates).