Skip to content
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

Cetus Alias Analysis #14

Open
akshay9594 opened this issue Jul 15, 2021 · 0 comments
Open

Cetus Alias Analysis #14

akshay9594 opened this issue Jul 15, 2021 · 0 comments
Labels
enhancement New feature or request

Comments

@akshay9594
Copy link
Owner

akshay9594 commented Jul 15, 2021

The Alias analysis pass fails to analyze certain complex pointer declarations such as -
(int ( * )[NONZER+1])(void*)acol
Here "acol" is a 2D array and has global scope. Cetus makes a conservative decision and assumes every variable is aliased to every other variable. In such a scenario, passes like the privatization pass which depends on alias analysis fail to run to completion.

@akshay9594 akshay9594 added the enhancement New feature or request label Jul 15, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant