C++ and Java CNI: Check Java references

[Andrew Haley]

Cedric Berger writes:
 > Shoudn't that be a #pragma put on the top of the CNI file?

Rather than a compiler flag, you mean?

I guess that might work, but it would mean additional configury to
insert it at the appropriate place.  We'd need to be able to recompile
a library for different targets, some of which would need this option
and some of which wouldn't, without editing the sources.

I guess we could do something like

#ifdef CHECK
#pragma check-java-pointers
#endif

And the use -DCHECK on the compiler command line.  But I don't know if
this is better.

Andrew.