-
Notifications
You must be signed in to change notification settings - Fork 56
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
Compute max call depth #282
Conversation
Should be ready. It computes the max call depth at stack allocation time and puts this piece of information in stk_fun_extra. There is also an annotation if the user wants to specify an expected value. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Can you please add a test-case showing the annotation in use?
Also, this deserves an entry in the change log.
df93aa7
to
f404880
Compare
I added a changelog entry, and two test cases: one succeeding, the other failing. |
Please add an export function in the successful example. (The compiler has unspecified behavior on programs without any export function.) |
Done. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks. I’ll merge as soon as CI gets green.
Proof of concept @bgregoir
Should a function that calls no other function have 0 or 1 for "max call depth"?