As far as I can tell, this is perfectly valid, and I think BTF should allow these variables to be aliased. So we may need to revisit the approach more: (1) pahole should still deduplicate identically-named variables at the same address due to the weak symbol issue. That would just save space and avoid silliness. But (2), I think we'll need the verifier to allow variables to overlap. I'll do that and continue testing. Stephen > > Thanks, > Eduard
