- Notifications
You must be signed in to change notification settings - Fork1.9k
Go: Support for MaD barriers and barrier guards.#21015
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 ourterms of service andprivacy statement. We’ll occasionally send you account related emails.
Already on GitHub?Sign in to your account
base:main
Are you sure you want to change the base?
Uh oh!
There was an error while loading.Please reload this page.
Conversation
| pragma[noinline] | ||
| privatepredicateguards(Nodeg, ControlFlow::ConditionGuardNodeguard,Nodend,SsaWithFieldsap){ | ||
| guards(g,guard,nd)andnd=ap.getAUse() | ||
| privatepredicateguards( |
Check warning
Code scanning / CodeQL
Missing QLDoc for parameter Warning
Uh oh!
There was an error while loading.Please reload this page.
70bdb01 to66ec419Compare66ec419 to10a0530Compareowen-mc commentedDec 15, 2025
Now that#21011 is merged I've rebased this and added commits to convert all the easily-convertible barriers and barrier guards to MaD. After running DCA I think this could be merged (without a change note). |
owen-mc commentedDec 16, 2025 • edited
Loading Uh oh!
There was an error while loading.Please reload this page.
edited
Uh oh!
There was an error while loading.Please reload this page.
@aschackmull I rebased this and added some commits converting the go barriers to MaD. I think this is ready to review, but I'll leave it to you to press the button. |
It used to pass even without ErrorSanitizer because `cookie` is alreadysanitized.
No description provided.