https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87023
Joseph S. Myers <jsm28 at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |INVALID
--- Comment #1 from Joseph S. Myers <jsm28 at gcc dot gnu.org> ---
This is not a bug. The comment on c_fully_fold_internal explains its
semantics, which only ever involve clearing *MAYBE_CONST_OPERANDS and
*MAYBE_CONST_ITSELF (pointers to variables that may have been set to true in a
caller and then are cleared, recursively, in any nested call that discovers a
reason for the expression not to be an integer constant expression). Please
see also the comment on c_fully_fold where it says "(*MAYBE_CONST should
typically be set to true by callers before calling this function.)".
Please use the gcc-help mailing list in future to ask questions about code and
reserve Bugzilla for when you have an actual bug in GCC to report.
