[Bug fortran/91022] New: A suspicious code in fortran/decl.c

[marxin at gcc dot gnu.org]

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

            Bug ID: 91022
           Summary: A suspicious code in fortran/decl.c
           Product: gcc
           Version: 10.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
            Blocks: 89863
  Target Milestone: ---

Following code contains assignment after return:

  3512  bool
  3513  gfc_insert_parameter_exprs (gfc_expr *e, gfc_actual_arglist
*param_list)
  3514  {
  3515    gfc_actual_arglist *old_param_spec_list = type_param_spec_list;
  3516    type_param_spec_list = param_list;
  3517    return gfc_traverse_expr (e, NULL, &insert_parameter_exprs, 1);
  3518    type_param_spec_list = NULL;
  3519    type_param_spec_list = old_param_spec_list;
  3520  }

The code is there since r251925


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89863
[Bug 89863] [meta-bug] Issues that static analyzers (cppcheck,
clang-static-analyzer) find that gcc misses