https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98421
Bug ID: 98421 Summary: std::span does not detect invalid range in Debug Mode Product: gcc Version: 11.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: libstdc++ Assignee: unassigned at gcc dot gnu.org Reporter: redi at gcc dot gnu.org Target Milestone: --- #define _GLIBCXX_DEBUG 1 #include <vector> #include <span> int main() { std::vector<int> coll; coll.reserve(10); std::span first3{coll.begin(), 3}; // or coll.data(), 3 } This should abort, because coll.begin()+3 is undefined, violating the precondition of the std::span constructor.