On Tue, 30 Aug 2022 at 03:16, Robert Haas <robertmh...@gmail.com> wrote: > ../../../../src/include/utils/memutils_memorychunk.h:186:18: error: > comparison of constant 7 with expression of type > 'MemoryContextMethodID' (aka 'enum MemoryContextMethodID') is always > true [-Werror,-Wtautological-constant-out-of-range-compare] > Assert(methodid <= MEMORY_CONTEXT_METHODID_MASK); > ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ > ../../../../src/include/c.h:827:9: note: expanded from macro 'Assert' > if (!(condition)) \ > ^~~~~~~~~ > > I'm not sure what to do about that, but every file that includes > memutils_memorychunk.h produces those warnings (which become errors > due to -Werror).
I'm not really sure either. I tried compiling with clang 12.0.1 with -Wtautological-constant-out-of-range-compare and don't get this warning. I think the Assert is useful as if we were ever to add an enum member with the value of 8 and forgot to adjust MEMORY_CONTEXT_METHODID_BITS then bad things would happen inside MemoryChunkSetHdrMask() and MemoryChunkSetHdrMaskExternal(). I think it's unlikely we'll ever get that many MemoryContext types, but I don't know for sure and would rather the person who adds the 9th one get alerted to the lack of bit space in MemoryChunk as soon as possible. As much as I'm not a fan of adding new warnings for compiler options that are not part of our standard set, I feel like if there are warning flags out there that are as giving us false warnings such as this one, then we shouldn't trouble ourselves trying to get rid of them, especially so when they force us to remove something which might catch a future bug. David