[GAP] Suppressing Infinite recursion warnings

[Robert Dewar]

Pierre Habraken wrote:
> Hello,
> 
> Can someone tell me how to disable warnings about "possible infinite 
> recursion" when compiling a program containing mutually recursive 
> procedures ?
> Is there a pragma ? a compiler option ?
> This is probably a faq but I could'nt find an answer anywhere...


> 
> Pierre

You can disable warnings for a whole unit using -gnatws, or you
can use pragma Warnings (Off/On) to disable warnings for a specific
section of code, you can even with the latest version of GNAT
disable specific warnings based on the text of the warning message.

A general note here is that you really want to read two sections
of the documentation, even if you read nothing else

o  The section on compiler options
(you can get a summary with gnatmake with no arguments)

o  The section on GNAT specific attributes and pragmas

There is a LOT of useful stuff which you will miss if you
don't read at least this much of the documentation.

For interest, it would be nice to see the example where
you are getting a false positive warning. Please send
it along to report at gnat.com with your GAP customer number.