-
Notifications
You must be signed in to change notification settings - Fork 3
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
Switch to using bitflags for FSA #156
Conversation
if self.visited_fns.contains(&instance) { | ||
// We've already checked this function. Ignore it! | ||
continue; | ||
} | ||
self.visited_fns.insert(instance); | ||
// if instance.def.get_attrs(self.ecx.tcx, sym::rustc_fsa_safe_fn).next().is_some() { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Commented code. Please force push an update.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Oops. Force-pushed an update
48bcf8f
to
9e639b3
Compare
Ah that's annoying. These test failures are fixed in my next PR. I only broke it out like this because it was becoming unmanagable. Are you ok if I #ignore them and then immediately fix them in the next one? |
Can you just push the necessary commits in here? |
I can, but that branch (the FSA intrinsic support) is currently failing 2 of the auto-trait UI tests on bootstrap stage 2. I can push it as part of this PR once I've got them working. |
OK, then please force push an update here that |
There are now various combinations of possible checks that FSA can perform which can change dynamically based on previously identified errors (e.g. the discovery of a thread-local means that we no longer check for other things). By passing this around as bit flags it becomes easier to write out the conditional logic.
9e639b3
to
7d595d8
Compare
Force pushed an update |
There are now various combinations of possible checks that FSA can perform which can change dynamically based on previously identified errors (e.g. the discovery of a thread-local means that we no longer check for other things). By passing this around as bit flags it becomes easier to write out the conditional logic.