https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94969
--- Comment #1 from Andreas Krebbel <krebbel at gcc dot gnu.org> --- The problem arises from dr_analyze_innermost not being able to analyze the bitfield access. However, the returned error is ignored in find_data_references_in_stmt and execution continues with bogus values in the data reference object.