-
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
Strange type mismatch in malloc #29
Comments
VeriFast treats expressions of the form I guess it should instead typecheck |
Ah, that would explain it. I'm not sure what |
Take the following program:
After applying my patch in #28 and running VeriFast, i get the error:
The IDE highlights
count
as the source of the type error. I don't know where theint
expectation is coming from.I don't understand why, if I pull out the expression into its own variable, VeriFast passes:
The text was updated successfully, but these errors were encountered: