Is BYTE_ALIGNMENT supported by genmc? #67

Open

opened

on Feb 27, 2025

hi, i am trying to use byte alignment like attribute((aligned(n))) to make sure i will got an address with some least bits never set. e.g. 0x5000....400. i would like to know whether it is supported here?

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests