Area-CompilersBugConcept-Diagnostic ClarityLanguage-C#help wanted
Repository-Metriken
- Stars
- (20.414 Stars)
- PR-Merge-Metriken
- (Durchschn. Merge 6T 17h) (256 gemergte PRs in 30 T)
Beschreibung
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"
}
}