\valid(p + (n1..n2))

src/plugins/e-acsl/interval.ml

src/plugins/e-acsl/tests/format/oracle/printf.res.oracle

...gins/e-acsl/tests/runtime/oracle/gen_ranges_in_builtins.c

...e-acsl/tests/runtime/oracle/ranges_in_builtins.err.oracle

...e-acsl/tests/runtime/oracle/ranges_in_builtins.res.oracle

src/plugins/e-acsl/tests/runtime/ranges_in_builtins.c

src/plugins/e-acsl/tests/temporal/oracle/gen_t_memcpy.c

src/plugins/e-acsl/tests/temporal/oracle/t_memcpy.res.oracle

src/plugins/e-acsl/translate.ml

src/plugins/e-acsl/typing.ml

src/plugins/e-acsl/typing.mli