On 2/14/23 00:18, Philippe Mathieu-Daudé wrote:
__attribute__((nonnull)) void a1(void *ptr) { // can no use assert(ptr) because compiler warning }
I briefly glossed over that...
I realize we'd probably want to add -fno-delete-null-pointer-checks if we make too much
... here. The compiler warning should go away with the right flag. r~