https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98834
Bug ID: 98834
Summary: Code path incorrectly determined to be unreachable
Product: gcc
Version: 11.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: kretz at kde dot org
Target Milestone: ---
Target: x86_64-pc-linux-gnu
Created attachment 50054
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=50054&action=edit
test case
The attached testcase compiles to a main function without return statement, as
if the compiler determines the code path is unreachable.
Compile with -O2. If you compile with -O2 -fno-tree-vrp, the return statement
is emitted.