Previous implementation handled only memsets to zero.
This patch keeps behavior as close as possible to the original.
In followup patches I'll resolve TODOs and update/add tests.
Significantly changed part of @pcc prototype for -ftrivial-auto-var-init=pattern optimizations