Portability of 'pragma Assert'

Portability of 'pragma Assert'

[Harry Henry Gebel]

I am writing a library and would like to make sure it is portable, but I
only have access to gnat, so I can't actually test it's portability
(until it is working to the point where I can upload it at any rate.) I
would like to use gnat's 'pragma Assert' and want to make sure it is
portable. My reading of the ARM seems to say that a compiler that does not
have 'pragma Assert' will simply ignore it, so I'm not to concerned with
any compiler like that.

However, searching the news group archives turned up references to other
compilers that use 'pragma Assert' and my concern is that if those
compilers have the pragma but use it differently it could cause
compilation to fail. Is this a valid concern or are other compiler's
'pragma Assert's compatible with gnat's? The only reference to
incompatibility I found said to make sure the assertion is placed in a
part of the code where you would normally have a statement; I have done
this. Is it neccessary to do anything else to keep assertions compatible
across different compilers?

-- 
Harry Henry Gebel
West Dover Hundred, Delaware
GPG encrypted email gladly accepted. Key ID: B853FFFE
Fingerprint: 15A6 F58D AEED 5680 B41A  61FE 5A5F BB51 B853 FFFE