mirror of
https://github.com/MariaDB/server.git
synced 2025-11-24 06:01:25 +03:00
Problem was -O2 and __attribute__((nonnull)) when it should have been __attribute__((nonnull(1,2,3,4,5)))
Problem was -O2 and __attribute__((nonnull)) when it should have been __attribute__((nonnull(1,2,3,4,5)))