https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90978
Bug ID: 90978
Summary: A suspicious code in df-scan.c since r160348
Product: gcc
Version: 10.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: marxin at gcc dot gnu.org
CC: hubicka at gcc dot gnu.org
Target Milestone: ---
clang-static-analyzer reports the following projects:
$ cat -n gcc/df-scan.c | less
3791 struct df_scan_problem_data *problem_data
3792 = (struct df_scan_problem_data *) df_scan->problem_data;
3793 gcc_unreachable ();
3794 df->exit_block_uses = BITMAP_ALLOC (&problem_data->reg_bitmaps);
3795 changed = true;
Is the gcc_unreachable a desirable code?
