https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90023
Sunil Kumar <sunil.kumar3 at ltts dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |sunil.kumar3 at ltts dot com --- Comment #2 from Sunil Kumar <sunil.kumar3 at ltts dot com> --- In gcc version 7.4.0 line #10 is marked as executed once and still block with empty case is marked as executed once.