1531b014eSJakub Kicinski // SPDX-License-Identifier: GPL-2.0
2531b014eSJakub Kicinski #define _GNU_SOURCE
3531b014eSJakub Kicinski #include <stdlib.h>
4531b014eSJakub Kicinski 
main(void)5531b014eSJakub Kicinski int main(void)
6531b014eSJakub Kicinski {
7531b014eSJakub Kicinski 	return !!reallocarray(NULL, 1, 1);
8531b014eSJakub Kicinski }
9a96c03e8SArnaldo Carvalho de Melo 
10a96c03e8SArnaldo Carvalho de Melo #undef _GNU_SOURCE
11