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

Jump to bottom

Lint potential race conditions #5074

Open
andrewbanchich opened this issue Jan 21, 2020 · 1 comment
Open

Lint potential race conditions #5074

andrewbanchich opened this issue Jan 21, 2020 · 1 comment
Labels
A-lint Area: New lints C-an-interesting-project Category: Interesting projects, that usually are more involved design/code wise. E-hard Call for participation: This a hard problem and requires more experience or effort to work on

Comments

@andrewbanchich
Copy link
Contributor

@yaahc and I were discussing whether clippy would be able to identify potential misuse of synchronization locks like in this example.

It would be great if we could help guard against race conditions by having clippy suggest proper usage of synchronization APIs.
@camsteffen
Copy link
Contributor

This might be of interest: rust-lang/miri#1617

@camsteffen camsteffen added C-an-interesting-project Category: Interesting projects, that usually are more involved design/code wise. E-hard Call for participation: This a hard problem and requires more experience or effort to work on A-lint Area: New lints labels Jan 26, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-lint Area: New lints C-an-interesting-project Category: Interesting projects, that usually are more involved design/code wise. E-hard Call for participation: This a hard problem and requires more experience or effort to work on
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@camsteffen @andrewbanchich