NoQ accepted this revision.
NoQ added a comment.
This revision is now accepted and ready to land.
Yeah, i think this makes sense, thanks! It feels a bit weird that we have to
add it as an exception - i wonder if there are other exceptions that we need to
make. Widening over the stack memory space should be a whitelist, not a
blacklist, because we can easily enumerate all stack variables and see which of
them can be modified at all from the loop. But until we have that, this looks
like a reasonable workaround.
cfe-commits mailing list