Repository navigation
NET-3549 Fix S2583 FP: When setting it in a callback #9794
Description
Description
ButtonResult buttonResult = ButtonResult.Yes;
await dialogService.Show(dialogResult => buttonResult = dialogResult.Result);
// FP here: Change this condition so that it does not always evaluate to 'False'. Some code paths are unreachable.
if (buttonResult == ButtonResult.OK)
{
}Reproducer
With the code above
Product and Version
SonarQube Cloud
Activity
jilles-sg commentedon Mar 7, 2026
Seems similar to #9676 #9671 #9425 #9204 #8885 : symbolic execution doesn't handle lambdas and local functions correctly.
bdovaz commentedon Mar 7, 2026
Issues from 3 years ago... I am surprised that this problem still exists today.
github-actions commentedon Apr 2, 2026
Internal ticket NET-3549
[-]Fix S2583 FP: When setting it in a callback[/-][+]NET-3549 Fix S2583 FP: When setting it in a callback[/+]