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

apply_fixes: Improve dependency discovery heuristic #241

Merged
merged 3 commits into from
Apr 22, 2024

Conversation

martis42
Copy link
Owner

@martis42 martis42 commented Apr 22, 2024

Our old logic fails when multiple dependencies provide a header file with the same name at different paths.
The new logic is robust against this due to looking for the full include path. Looking at the file name is now only a fallback used to resolve cases where include path manipulation makes a simple include path match impossible.

Fixes: #237

Our old logic fails when multiple dependencies provide a header file
with the same name at different paths.
The new logic is robust against this due to looking for the full include
path. Looking at the file name is now only a fallback used to resolve
cases where include path manipulation makes a simple include path match
impossible.
@martis42 martis42 force-pushed the improve_apply_fixes_heuristic branch from de03013 to c4d4d19 Compare April 22, 2024 15:23
@martis42 martis42 merged commit 84d2f64 into main Apr 22, 2024
11 checks passed
@martis42 martis42 deleted the improve_apply_fixes_heuristic branch April 22, 2024 15:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

seeing false reports of non unique headers.
1 participant