share/libc/stdlib.c

share/libc/stdlib.h

src/plugins/e-acsl/tests/arith/oracle_ci/gen_functions.c

src/plugins/e-acsl/tests/arith/oracle_ci/gen_functions_rec.c

src/plugins/e-acsl/tests/gmp-only/oracle_ci/gen_functions.c

...plugins/e-acsl/tests/memory/oracle_ci/gen_hidden_malloc.c

...ns/e-acsl/tests/memory/oracle_ci/hidden_malloc.res.oracle

...s/e-acsl/tests/memory/oracle_dev/hidden_malloc.res.oracle

src/plugins/e-acsl/tests/temporal/oracle_ci/gen_t_fun_lib.c

...gins/e-acsl/tests/temporal/oracle_ci/t_fun_lib.res.oracle

...ins/e-acsl/tests/temporal/oracle_dev/t_fun_lib.res.oracle

src/plugins/value/utils/library_functions.ml

tests/libc/oracle/fc_libc.0.res.oracle

tests/libc/oracle/fc_libc.1.res.oracle

tests/libc/oracle/stdlib_c.0.res.oracle

tests/libc/oracle/stdlib_c.1.res.oracle

tests/libc/oracle/stdlib_c.2.res.oracle

tests/libc/stdlib_c.c