c++ - -fsanitize=bounds-strict 是否包含在 GCC 6 的 -fsanitize=undefined 中？

Question

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

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

是否包含严格的边界检查-fsanitize=undefined？还是我们都需要-fsanitize=undefinedand -fsanitize=bounds-strict？