This is the mail archive of the gcc-bugs@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[Bug tree-optimization/77424] New: Identical statements in if-else branches


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

            Bug ID: 77424
           Summary: Identical statements in if-else branches
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: redi at gcc dot gnu.org
            Blocks: 77421
  Target Milestone: ---

thread_through_all_blocks in tree-ssa-threadupdate.c has identical statements
for if-else branches:

            /* Case 1, threading from outside to inside the loop
               after we'd already threaded through the header.  */
            if ((*path)[0]->e->dest->loop_father
                != path->last ()->e->src->loop_father)
              {
                delete_jump_thread_path (path);
                e->aux = NULL;
                ei_next (&ei);
              }
            else
              {
                delete_jump_thread_path (path);
                e->aux = NULL;
                ei_next (&ei);
              }

One of these is presumably wrong.


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77421
[Bug 77421] Bugs found in GCC with the help of PVS-Studio

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]