value-numbering could turn certain invalid constructs like int b; void f(void) { float a; a = 1; b = *(int*)&a; }
into VIEW_CONVERT_EXPRs of the loaded bit-pattern. -- Summary: value-numbering does not handle type-punning in a user- friendly way Product: gcc Version: 4.5.0 Status: UNCONFIRMED Keywords: missed-optimization Severity: enhancement Priority: P3 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: rguenth at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41460