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.

  rC Clang

cfe-commits mailing list

Reply via email to