https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127401
--- Comment #5 from Drea Pinski <pinskia at gcc dot gnu.org> --- (In reply to Drea Pinski from comment #4) > Any speculatively load of bool needs to be fixed up. I think _BitInt needs > similar treatment So looking at what I have done; only loads for boolean types are handled. I think I can fix that by removing the check for BOOLEAN_TYPE since I do check DECL_BIT_FIELD which already does the correct thing there. VCE has the correct handling though. The only issue I have not seen any testcases where BitInt causes the wrong code yet.
