对于GCC 6，-fsanitize = bounds-strict是否包含在-fsanitize = undefined中？

Question

我正在处理使用GCC 6编译的C ++库的问题报告。我正在阅读GCC 6 Changes, New Features, and Fixes，其中一个注意事项是：

• UndefinedBehaviorSanitizer获得了一个新的清理选项-fsanitize = bounds-strict，它允许严格检查数组边界。特别是，它启用-fsanitize = bounds以及灵活的阵列成员类数组的检测。

-fsanitize=undefined中是否包含严格边界检查？或者我们是否同时需要-fsanitize=bounds-strict和{{1}}？