RE: Analysis of Mauve failures - The final chapter

[Andrew Haley <aph at cambridge dot redhat dot com>]

Mark Wielaard writes:
 > 
 >  {
 > +  if (! dimensions)
 > +    throw new java::lang::NullPointerException;
 >    jint ndims = dimensions->length;

No, this is wrong, there's no need to do this check.  The dereference
of dimensions will generate a SEGV and throw a NullPointerException,
unless it's running on a broken system that doesn't catch SEGV.  

The thing to do with such systems is to fix them, not add checks to
the library.

Andrew.