Area-CompilersBugConcept-Diagnostic ClarityLanguage-C#help wanted
Metriche repository
- Star
- (20.414 star)
- Metriche merge PR
- (Merge medio 6g 17h) (256 PR mergiate in 30 g)
Descrizione
Here are some examples demonstrating that flow analysis reports redundant errors when labels are not found. In each case the compiler reports that a label was not found, but then also reports a reachability error that would not be an error if a label had been found. The later error should be suppressed.
class Program
{
static void Main(string[] args)
{
int s = 23;
switch (s)
{
case 21:
goto case 1;
// redundant error "Control cannot fall through from one case label ('case 21:') to another
case 23:
goto default;
// redundant error "Control cannot fall out of switch from final case label ('case 23:')"
}
}
static int M()
{
goto foo;
// redundant error "not all code paths return a value"
}
}