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

Better behavior for redundant headers #4

Open
mcandre opened this issue Aug 29, 2021 · 0 comments
Open

Better behavior for redundant headers #4

mcandre opened this issue Aug 29, 2021 · 0 comments

Comments

@mcandre
Copy link

mcandre commented Aug 29, 2021

Some common headers will be automatically pulled into a project indirectly via other headers, for example errno. Yet, it is good form to explicitly include such headers when making direct use of their symbols.

The current deheader algorithm relies on accidents of indirect inclusion when deciding whether to include a header or not. But a more accurate algorithm would involve scanning for the use of exported symbols.

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

No branches or pull requests

1 participant