https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105616
--- Comment #9 from Alexey Klimkin <alexey.klimkin at intel dot com> --- Created attachment 65249 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=65249&action=edit Proposed patch: preserve ASAN_MARK alias precision I attached a proposed patch for PR105616. IFN_ASAN_MARK currently acts as an arbitrary memory clobber in the alias oracle, although it only changes shadow memory for the object described by its address and size. Modeling the marked range precisely allows unrelated load forwarding and prevents the false -Wmaybe-uninitialized diagnostic. The patch includes a reduced C regression test derived from the failure. With an x86_64-pc-linux-gnu build, the focused test compiles without the forbidden diagnostic. The patch is submitted under the DCO sign-off included in the attachment.
