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.
