[Bug tree-optimization/59077] New: ipa-pure-const.c (better_state): comment and code mistmatch

[glisse at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59077

            Bug ID: 59077
           Summary: ipa-pure-const.c (better_state): comment and code
                    mistmatch
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: glisse at gcc dot gnu.org

Doc and prototype for function better_state in ipa-pure-const.c:

/* Merge STATE and STATE2 and LOOPING and LOOPING2 and store
   into STATE and LOOPING better of the two variants.
   Be sure to merge looping correctly.  IPA_NEITHER functions
   have looping 0 even if they don't have to return.  */

static inline void
better_state (enum pure_const_state_e *state, bool *looping,
              enum pure_const_state_e state2, bool looping2)

But if you read the code, nothing ever writes to state. I am looking at this
file for the first time, so I don't know if it is missing:
*state = MIN (*state, state2);
at the end or if the comment is wrong or something else.