-
Notifications
You must be signed in to change notification settings - Fork 9
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
[Types] Create function pointer type #45
Labels
Comments
/cib |
Branch issue-45-_Types_Create_function_pointer_type created! |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Proposal
Add support to function pointers.
If a variable is called at some point, the type of it could be set to a function pointer.
Consider the following example:
here, since the
var_0
is being called after initialization, we can set its type to function pointer instead of integer.extractme.zip
Approach
FunctionPointer
with the following fieldsTypePropagation
to consider variables that are being called.CodeGenerator
to generate declarations for the corresponding function pointers if needed.The text was updated successfully, but these errors were encountered: