https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87023
--- Comment #2 from hhj <He.Hongjun at zte dot com.cn> --- (In reply to Joseph S. Myers from comment #1) > 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. thanks