MTC added a comment.

In, @NoQ wrote:

> 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.

You are right , it's really weird. And the better solution, D36690 
<>, seems to be blocked.

  rC Clang

cfe-commits mailing list

Reply via email to