Changed paths:
M prog/alloc.go
M prog/alloc_test.go
M prog/encoding.go
M prog/rand.go
M prog/target.go
M tools/syz-trace2syz/proggen/proggen.go
Log Message:
-----------
prog/alloc: align address allocation for aligned[addr]
Calls to alloc didn't respect the alignment attribute. Now
Type.Alignment() is used to ensure each type is correctly
aligned. Existing descriptions with [align[X]] don't have an
issue as they align to small blocks and default align is to
64 bytes. This commits adds support for [align[X]] for an X
larger than 64.