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.)