Is -fsanitize=bounds-strict included in -fsanitize=undefined for GCC 6?

Asked Jul 03 '16 at 16:00

Active Jul 04 '16 at 12:00

Viewed 783 times

I'm working on a problem report for a C++ library compiled with GCC 6. I'm reading through the GCC 6 Changes, New Features, and Fixes, and one of the notes is:

UndefinedBehaviorSanitizer gained a new sanitization option, -fsanitize=bounds-strict, which enables strict checking of array bounds. In particular, it enables -fsanitize=bounds as well as instrumentation of flexible array member-like arrays.

Is strict bounds checking included in -fsanitize=undefined? Or do we need both -fsanitize=undefined and -fsanitize=bounds-strict?

edited Jul 04 '16 at 12:00

asked Jul 03 '16 at 16:00

jww

97,681
90
411
885

1

You need both: `-fsanitize=address,undefined,bounds-strict` – Jeroen Ooms Sep 06 '16 at 10:11
@Jeroen - Thanks. You should provide an answer. – jww Sep 07 '16 at 07:04

Is -fsanitize=bounds-strict included in -fsanitize=undefined for GCC 6?

0 Answers0