-
Notifications
You must be signed in to change notification settings - Fork 62
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
__attribute__((__packed__)); bitfields #188
Comments
Yes. VeriFast doesn't currently support the |
BTW: You can (sort of) work around these issues using the preprocessor: typedef struct VFIGNORE(__attribute__ ((__packed__))) {
symbol_func_type symbol_type VFIGNORE(: 3);
uint8_t unused VFIGNORE(: 1);
symbol_data_type data_type VFIGNORE(: 4);
}symbol_metadata; where you define VFIGNORE as #define VFIGNORE(x) x when compiling and #define VFIGNORE(x) when verifying. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Compiler options specified using attributes cause a parse error at parentheses after
__attribute__
. Cutout of code where problem occured:The text was updated successfully, but these errors were encountered: