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.

Sign up for GitHub

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

analyze: track reasons why functions are not rewritten #1072

Merged
merged 10 commits into from
Apr 15, 2024
Merged

analyze: track reasons why functions are not rewritten #1072

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
7474453
analyze: track reasons why functions are not rewritten
spernsteiner Jan 30, 2024
b517233
analyze: replace fns_fixed and fns_failed with DontRewriteFnReason
spernsteiner Jan 31, 2024
bcb5ec7
analyze: track newly added entries in dont_rewrite_fns etc
spernsteiner Jan 31, 2024
5b75313
analyze: use dont_rewrite_fns.new_keys() in rewriting loop
spernsteiner Jan 31, 2024
f674238
analyze: set DontRewriteFnReason::COMPLEX_CELL on bad cell rewrites
spernsteiner Jan 31, 2024
a68b8ed
analyze: record def-use info for fns mentioning adt fields
spernsteiner Feb 1, 2024
44064f3
analyze: implement some propagation cases for DontRewrite flags
spernsteiner Feb 2, 2024
e4f7145
analyze: report DontRewrite flags for all def kinds in debug output
spernsteiner Feb 2, 2024
e0cdb2e
analyze: fix warnings
spernsteiner Mar 25, 2024
33a606f
analyze: rename NON_REWRITTEN_USER -> _USE
spernsteiner Apr 12, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading