Skip to content

The C front-end should support function pointer return types in KnR #133

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.

Sign up for GitHub

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

Jump to bottom
Closed
tautschnig opened this issue Jun 20, 2016 · 0 comments
Closed

The C front-end should support function pointer return types in KnR #133

tautschnig opened this issue Jun 20, 2016 · 0 comments

Comments

@tautschnig
Copy link
Collaborator

tautschnig commented Jun 20, 2016 •
edited
Loading

This is currently known as ansi-c/KnR3 regression test, which fails with a parser error.
@tautschnig tautschnig mentioned this issue Jun 20, 2016
Closed
tautschnig added a commit to tautschnig/cbmc that referenced this issue Jun 21, 2016
@tautschnig
Parse KnR functions returning function pointers
2a1530d 
Fixes diffblue#133
@tautschnig tautschnig mentioned this issue Jun 21, 2016
Merged
smowton pushed a commit to smowton/cbmc that referenced this issue May 9, 2018
@marek-trtik
Updates requested in the PR diffblue#133.
2b9c169
smowton pushed a commit to smowton/cbmc that referenced this issue May 9, 2018
@marek-trtik
Requested updates in the review of the PR diffblue#133.
3146679
smowton pushed a commit to smowton/cbmc that referenced this issue May 9, 2018
@marek-trtik
Updates requested in the PR diffblue#133.
8c84178
smowton pushed a commit to smowton/cbmc that referenced this issue May 9, 2018
@marek-trtik
Updates requested in PR diffblue#133.
6eaa4e3
smowton pushed a commit to smowton/cbmc that referenced this issue May 9, 2018
@marek-trtik
Merge pull request diffblue#133 from diffblue/marek/instr_props_PR
ed76af8 
Extension of instrumentation props for support of shadow variables.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@tautschnig