WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
Skip to content

Is BYTE_ALIGNMENT supported by genmc? #67

New issue
New issue
Open
Open
Is BYTE_ALIGNMENT supported by genmc?#67
@ZhouJing728

Description

@ZhouJing728
ZhouJing728
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

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions