eix claims identical database versions differ about eix HOT 1 OPEN

This never happened to me, and it is mysterious to me. According to the code, the output
It uses database format 37 (current is 37)
cannot happen: It happens only if a previous test decided that the 2 printed numbers are unequal.
I have only a vague idea that some __attribute__ ((pure)) might lead to a miscompilation of that test.
Are you able to apply the following patch to check whether it fixes the problem for you?

+++ b/src/database/header.h
@@ -124,7 +124,7 @@ class DBHeader {
                        return ExtendedVersion::Overlay(overlays.size());
                }
 
-               ATTRIBUTE_PURE bool isCurrent() const;
+               bool isCurrent() const;
 };
 
 #endif  // SRC_DATABASE_HEADER_H_

Edit: I change the title, because this error certainly has nothing to do with locking. There is no read operation happening between the check and the output. In fact, the code is almost completely trivial which is why I have no idea what goes wrong here.

from eix.