Skip to content

Do not accept arrays of variable size with static lifetime #1146

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

Merged
merged 2 commits into from
Jul 18, 2017

Conversation

tautschnig
Copy link
Collaborator

No description provided.

Neither Clang nor GCC accept these. In addition to rejecting such declarations,
also fix the off-by-one error reported in diffblue#525: type declarations are type
checked before their symbols are processed, thus the symbol name needs to be set
up early. A lookup via the symbol table, however, is not yet possible. Thus
maintain the full symbol.

Fixes: diffblue#525
@kroening kroening merged commit 13a7538 into diffblue:master Jul 18, 2017
@tautschnig tautschnig deleted the fix-525 branch July 19, 2017 07:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants