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
Possible error with void' casting #96
Comments
Original Redmine Comment Works for me; please send an example.
|
Original Redmine Comment Hi Wilson, I havent prepared an example yet, I'm tracing the problem, and it seems to be related to functions inside interfaces.
As soon as I have a working (or failing in this case) example, I'll upload it, in the mean time this is what I have gathered about the problem. Thanks, |
Original Redmine Comment Here is a sample, I hope it helps. |
Original Redmine Comment Thanks for the example, it works fine for me. Maybe you're not using the latest version? |
Original Redmine Comment Issue believe fixed in earlier release as example passes. |
Author Name: David A
Original Redmine Issue: 96 from https://www.veripool.org
Original Date: 2009-06-05
Original Assignee: Wilson Snyder (@wsnyder)
Hi Wilson,
If I'm not mistaken, the SigParser currently doesn't support void' casting of functions return data? (see IEEE 1800-2005 section 12.3.2 "Discarding function return values").
Was this omitted intentionally? or is it just not supported yet?
Thanks in advance,
David
The text was updated successfully, but these errors were encountered: