On Tue, Jan 19, 2021 at 03:51:57PM -0500, Dan McDonald wrote: > On Jan 19, 2021, at 1:55 PM, Dan Carpenter <dan.carpenter@xxxxxxxxxx> wrote: > > > > Luk recently was working on better support of packed structs (which have > > been a known issue for a while) but I doubt that will help here. Indeed, the support for packed structs (via the attribute) is now complete in Sparse and was mainlined 2 weeks ago or so and ... > I tried using packed struct attributes instead of the pragma and no luck there either: now it just needs to be merged into smatch. -- Luc