https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80635
--- Comment #61 from CVS Commits ---
The master branch has been updated by Jakub Jelinek :
https://gcc.gnu.org/g:3cf52b87ff6938e30883b8f8f542a638635d507d
commit r11-7383-g3cf52b87ff6938e30883b8f8f542a638635d507d
Author: Jakub Jelinek
Date:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80635
Jakub Jelinek changed:
What|Removed |Added
Assignee|law at redhat dot com |jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80635
Jakub Jelinek changed:
What|Removed |Added
CC||jakub at gcc dot gnu.org
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80635
--- Comment #58 from Martin Sebor ---
Jeff's POC also suggests a workaround: changing the type of
_Optional_payload_base::_M_engaged from bool to unsigned char avoids the
VIEW_CONVERT_EXPR and avoids the warning. The difference in the uninit IL
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80635
--- Comment #57 from Jeffrey A. Law ---
Below is a POC for improving the uninit analysis to handle this kind of case.
It's not complete. In particular it does not ensure that the we have the same
result on the RHS and LHS of the V_C_E.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80635
Miko Vich changed:
What|Removed |Added
CC||alexmudmiko at gmail dot com
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80635
--- Comment #55 from Jeffrey A. Law ---
So to summarize some thoughts from Richi from last year.
Converting the V_C_E into a NOP_EXPR is undesirable as the truncation becomes
sub-optimal because we end up with an additional masking operation.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80635
Chris Uzdavinis changed:
What|Removed |Added
CC||cuzdav at gmail dot com
--- Comment