[Compiler] Fix false positive for setState after await in useEffect#35732
[Compiler] Fix false positive for setState after await in useEffect#35732basitqayoom wants to merge 2 commits intofacebook:mainfrom
Conversation
…acebook#34905) The `set-state-in-effect` validation was incorrectly flagging setState calls that appear after an `await` expression inside async functions called from useEffect. After an `await`, execution continues asynchronously in a microtask, so the setState call is not synchronous within the effect body. This fix adds `Await` instruction tracking in `getSetStateCall()`. When an `Await` instruction is encountered in a block, subsequent setState calls in the same block are skipped since they execute asynchronously. Test plan: - allow-setState-in-useEffect-after-await: setState after await via useCallback + useEffect (exact issue repro) - no error - allow-setState-in-useEffect-async-callback: setState after await in nested async function inside useEffect - no error - invalid-setState-in-useEffect-before-await: setState before await is still correctly flagged - error reported Fixes facebook#34905 Co-authored-by: Cursor <cursoragent@cursor.com>
|
Hi @basitqayoom! Thank you for your pull request and welcome to our community. Action RequiredIn order to merge any pull request (code, docs, etc.), we require contributors to sign our Contributor License Agreement, and we don't seem to have one on file for you. ProcessIn order for us to review and merge your suggested changes, please sign at https://code.facebook.com/cla. If you are contributing on behalf of someone else (eg your employer), the individual CLA may not be sufficient and your employer may need to sign the corporate CLA. Once the CLA is signed, our tooling will perform checks and validations. Afterwards, the pull request will be tagged with If you have received this in error or have any questions, please contact us at cla@meta.com. Thanks! |
|
Thank you for signing our Contributor License Agreement. We can now accept your code for this (and any) Meta Open Source project. Thanks! |
Summary
Fixes #34905
The
set-state-in-effectvalidation (ValidateNoSetStateInEffects) was incorrectly flaggingsetStatecalls that appear after anawaitexpression inside async functions called fromuseEffect.After an
await, execution continues asynchronously in a microtask — meaning thesetStatecall is no longer synchronous within the effect body and should not trigger this lint.Root cause
In
getSetStateCall(), the function walks through the HIR of the effect callback and returns the firstsetStatecall it finds, without distinguishing whether that call appears after anAwaitinstruction.Fix
Added
Awaitinstruction tracking within each block ingetSetStateCall():Awaitinstruction is encountered, aseenAwaitflag is set for the current blocksetStatecall in the same block after anAwaitis skipped (not reported as synchronous)This is a conservative fix scoped to intra-block tracking. Cross-block
awaitdominator analysis can be added as a follow-up if needed.How did you test this change?
Added 3 new test fixtures:
allow-setState-in-useEffect-after-awaitawaitviauseCallback+useEffect(exact issue repro)allow-setState-in-useEffect-async-callbackawaitin nested async function insideuseEffectinvalid-setState-in-useEffect-before-awaitawaitis still correctly flaggedAll existing tests continue to pass: