Skip to content

Analyzer crash on co19/TypeSystem/flow-analysis/reachability_for_A01_t01 #61428

@sgrekhov

Description

@sgrekhov
--- Command "dart2analyzer" (took 23ms):
DART_CONFIGURATION=ReleaseX64 out/ReleaseX64/dart-sdk/bin/dart out/ReleaseX64/gen/dartanalyzer.dart.snapshot -Dtest_runner.configuration=analyzer-asserts-linux --ignore-unrecognized-flags --packages=/b/s/w/ir/cache/builder/sdk/.dart_tool/package_config.json --format=json /b/s/w/ir/cache/builder/sdk/tests/co19/src/TypeSystem/flow-analysis/reachability_for_A01_t01.dart

analyzer json parse result:
- parse failed

exit code:
253

stderr:
Bad state: No element
#0      ListBase.last (dart:collection/list.dart:74:22)
#1      NullSafetyDeadCodeVerifier.flowEnd (package:analyzer/src/error/dead_code_verifier.dart:307:32)
#2      ResolverVisitor.handle_ifStatement_thenEnd (package:analyzer/src/generated/resolver.dart:1053:32)
#3      TypeAnalyzer._analyzeIfCommon (package:_fe_analyzer_shared/src/type_inference/type_analyzer.dart:2608:5)
#4      TypeAnalyzer.analyzeIfStatement (package:_fe_analyzer_shared/src/type_inference/type_analyzer.dart:843:5)
#5      ResolverVisitor.visitIfStatement (package:analyzer/src/generated/resolver.dart:3048:7)
#6      IfStatementImpl.accept (package:analyzer/src/dart/ast/ast.dart:12767:50)
#7      NodeListImpl.accept (package:analyzer/src/dart/ast/ast.dart:17281:20)
#8      BlockImpl.visitChildren (package:analyzer/src/dart/ast/ast.dart:1938:16)
#9      ResolverVisitor.visitBlock (package:analyzer/src/generated/resolver.dart:2002:10)
#10     BlockImpl.accept (package:analyzer/src/dart/ast/ast.dart:1933:50)
#11     BlockFunctionBodyImpl.visitChildren (package:analyzer/src/dart/ast/ast.dart:1868:11)
#12     ResolverVisitor.visitBlockFunctionBody (package:analyzer/src/generated/resolver.dart:2019:12)
#13     BlockFunctionBodyImpl.resolve (package:analyzer/src/dart/ast/ast.dart:1863:16)
#14     FunctionExpressionResolver.resolve (package:analyzer/src/dart/resolver/function_expression_resolver.dart:58:29)
#15     ResolverVisitor.visitFunctionExpression (package:analyzer/src/generated/resolver.dart:2903:33)
#16     FunctionExpressionImpl.resolveExpression (package:analyzer/src/dart/ast/ast.dart:11114:14)
#17     ResolverVisitor.dispatchExpression (package:analyzer/src/generated/resolver.dart:774:16)
#18     TypeAnalyzer.analyzeExpression (package:_fe_analyzer_shared/src/type_inference/type_analyzer.dart:630:43)
#19     ResolverVisitor.analyzeExpression (package:analyzer/src/generated/resolver.dart:468:18)
#20     ResolverVisitor.visitFunctionDeclaration (package:analyzer/src/generated/resolver.dart:2858:7)
#21     FunctionDeclarationImpl.accept (package:analyzer/src/dart/ast/ast.dart:10888:50)
#22     ResolverVisitor.visitCompilationUnit (package:analyzer/src/generated/resolver.dart:2165:25)
#23     CompilationUnitImpl.accept (package:analyzer/src/dart/ast/ast.dart:4001:50)
#24     LibraryAnalyzer._resolveFile (package:analyzer/src/dart/analysis/library_analyzer.dart:881:10)
#25     LibraryAnalyzer._parseAndResolve (package:analyzer/src/dart/analysis/library_analyzer.dart:678:7)
#26     LibraryAnalyzer.analyze.<anonymous closure> (package:analyzer/src/dart/analysis/library_analyzer.dart:121:7)
#27     OperationPerformanceImpl.run (package:analyzer/src/util/performance/operation_performance.dart:150:23)
#28     LibraryAnalyzer.analyze (package:analyzer/src/dart/analysis/library_analyzer.dart:120:17)
#29     AnalysisDriver._analyzeFileImpl.<anonymous closure>.<anonymous closure> (package:analyzer/src/dart/analysis/driver.dart:1379:13)
#30     OperationPerformanceImpl.run (package:analyzer/src/util/performance/operation_performance.dart:150:23)
#31     AnalysisDriver._analyzeFileImpl.<anonymous closure> (package:analyzer/src/dart/analysis/driver.dart:1368:35)
#32     PerformanceLog.run (package:analyzer/src/dart/analysis/performance_logger.dart:38:15)
#33     AnalysisDriver._analyzeFileImpl (package:analyzer/src/dart/analysis/driver.dart:1325:20)
#34     AnalysisDriver._getErrors.<anonymous closure>.<anonymous closure> (package:analyzer/src/dart/analysis/driver.dart:1796:9)
#35     OperationPerformanceImpl.run (package:analyzer/src/util/performance/operation_performance.dart:150:23)
#36     AnalysisDriver._getErrors.<anonymous closure> (package:analyzer/src/dart/analysis/driver.dart:1795:19)
#37     OperationPerformanceImpl.run (package:analyzer/src/util/performance/operation_performance.dart:150:23)
#38     AnalysisDriver._getErrors (package:analyzer/src/dart/analysis/driver.dart:1743:38)
#39     AnalysisDriver.performWork (package:analyzer/src/dart/analysis/driver.dart:1214:7)
#40     AnalysisDriverScheduler._run (package:analyzer/src/dart/analysis/driver.dart:2628:24)
<asynchronous suspension>

--- Re-run this test:
python3 tools/test.py -n analyzer-asserts-linux co19/TypeSystem/flow-analysis/reachability_for_A01_t01

Metadata

Metadata

Assignees

Labels

analyzer-crash-reportIssues which have been reported due to an analysis server crasharea-dart-modelFor issues related to conformance to the language spec in the parser, compilers or the CLI analyzer.model-flowImplementation of flow analysis in analyzer/cfe

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions