On Fri, Aug 18, 2017 at 6:13 PM, Christopher Li <sparse@xxxxxxxxxxx> wrote: >> >> Note: it's not even 'what can be put in a pseudo(-register)' >> were selecting here. It's OK to have pseudos for >> 'non-simple' values, They will just be transient and we >> won't be interested in their 'flow'. > > We need to be very careful about composite type pointer alias. There are only pointer aliases if there are pointers. Here, we're only interested in local variables. But, and thanks to this remarks, I added a test and realized that contrary to what I thought, the MOD_ADDRESSABLE is *not* propagated from member to parent. So for the moment, I'll need to drop this and only look at pure scalar variables. It's annoying. -- Luc -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
