+
+
+ // The static analyzer appears to be confused by the fact that the loop below
+ // starts from n instead of 0. However, given all the complex code it's
+ // better to be safe than sorry, so we check it with an assert.
+ // If we are in this comparison routine in the first place, neig2 should not be 0,
+ // so eigval2 should always be a valid pointer.
+ GMX_RELEASE_ASSERT(eigval2 != NULL, "NULL pointer provided for eigval2");
+