[Bug c++/103297] New: GCC cannot detect out of bounds in constexpr context.

[Bug c++/103297] New: GCC cannot detect out of bounds in constexpr context.

[unlvsur at live dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103297

            Bug ID: 103297
           Summary: GCC cannot detect out of bounds in constexpr context.
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: unlvsur at live dot com
  Target Milestone: ---

inline constexpr void out_of_bounds_detector(char const*,char const*) noexcept
{}

inline constexpr bool test() noexcept
{
        char buffer[]="abcde";
        out_of_bounds_detector(buffer,buffer+7);//should give a hard error
        return true;
}
static_assert(test());

while clang and msvc can all detect this correctly.

[Bug c++/103297] GCC cannot detect out of bounds in constexpr context.

[unlvsur at live dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103297

--- Comment #1 from cqwrteur <unlvsur at live dot com> ---
Another issue

#include<string_view>
#include<string>
#include<cassert>

inline constexpr std::string_view lifetime_detector(std::string const& str)
noexcept
{
        return str;
}

inline constexpr bool test2(std::string_view vw2) noexcept
{
        bool res{true};
        for(auto e : vw2)
                res|=e;
        return true;
}

inline constexpr bool test() noexcept
{
        std::string_view vw{lifetime_detector("abcde12124")};
        return test2(vw);
}
static_assert(test());

int main()
{
        assert(test());
}

This does not get detected at neither compile nor runtime???

[Bug c++/103297] GCC cannot detect out of bounds in constexpr context.

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103297

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |accepts-invalid

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
These are two different bugs, and I think there are existing PRs about both of
them.

[Bug c++/103297] GCC cannot detect out of bounds in constexpr context.

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103297

--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to cqwrteur from comment #0)
> 	out_of_bounds_detector(buffer,buffer+7);//should give a hard error

This looks like PR 70151

(In reply to cqwrteur from comment #1)
> 	std::string_view vw{lifetime_detector("abcde12124")};
> 	return test2(vw);

This might be PR 70331

[Bug c++/103297] GCC cannot detect out of bounds in constexpr context.

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103297

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |DUPLICATE
             Status|UNCONFIRMED                 |RESOLVED

--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to Jonathan Wakely from comment #3)
> (In reply to cqwrteur from comment #0)
> > 	out_of_bounds_detector(buffer,buffer+7);//should give a hard error
> 
> This looks like PR 70151

Or its dependent, PR 82876



> (In reply to cqwrteur from comment #1)
> > 	std::string_view vw{lifetime_detector("abcde12124")};
> > 	return test2(vw);
> 
> This might be PR 70331

Or PR 89757 or PR 98675 or PR 96630

*** This bug has been marked as a duplicate of bug 70151 ***