(UndefinedBehaviorSanitizer) GrowableArray.h: null pointer passed as argument 2, which is declared to never be null about corrade HOT 2 CLOSED

Hi, thank you for the detailed report!

The library is currently definitely not UBSan-clean, last time I tried (#29) I had quite a lot of false positives that obscured the real bugs. I can confirm this warning pops up (among others) when building locally and running the ContainersGrowableArrayTest.

In practice I didn't see any issues with this code on any of the platforms I'm testing on so it doesn't seem to be that critical, nonetheless that doesn't mean it's correct ;) I'll get back to fixing this (and other UBSan errors) once I find some free time.

from corrade.

This particular case and a few other I found should be fixed with 9ee4415. For me, UBSan complained about similar cases with std::memcmp() and std::memchr(), and honestly I find all this just unnecessary bullying without any real value added. Requiring all code ever to check sizes before calling those functions only increases testing burden and surface for potential bugs for no reason. I doubt there's any real C library implementation that would exploit this UB to bring some extra performance to the table.

In conclusion, the library is not UBSan-clean and probably never will be. I'll track the progress in #29 but I have no intention in going though all calls and adding stupid if(size) in front of each.

from corrade.