Skip to content

Stack Overflow from Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1441:3) #39976

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
devoncarew opened this issue Jan 3, 2020 · 4 comments
Closed

Stack Overflow from Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1441:3) #39976

devoncarew opened this issue Jan 3, 2020 · 4 comments
Assignees
@scheglov
Labels
analyzer-crash-report Issues which have been reported due to an analysis server crash legacy-area-analyzer Use area-devexp instead.

Comments

@devoncarew
Copy link
Member

stable signature: _ExceptionState at AnalysisDriver._computeAnalysisResult.<fn> at package:analyzer/src/dart/analysis/driver.dart-2a339a52

Stack Overflow
#0      Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1441:3)
#1      Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#2      Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#3      Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#4      Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#5      Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#6      Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#7      Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#8      Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#9      Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#10     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#11     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#12     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#13     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#14     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#15     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#16     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#17     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#18     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#19     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#20     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#21     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#22     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#23     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#24     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#25     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#26     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#27     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#28     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#29     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#30     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#31     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#32     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#33     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#34     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#35     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#36     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#37     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#38     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#39     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#40     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#41     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#42     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
#43     Dart2TypeSystem.isTop (package:analyzer/src/generated/type_system.dart:1460:14)
...
...
#14192  ResolverVisitor.visitNode (package:analyzer/src/generated/resolver.dart:1820:10)
#14193  UnifyingAstVisitor.visitExpressionStatement (package:analyzer/dart/ast/visitor.dart:3214:59)
#14194  ExpressionStatementImpl.accept (package:analyzer/src/dart/ast/ast.dart:3655:49)
#14195  BlockImpl.visitChildren (package:analyzer/src/dart/ast/ast.dart:7496:20)
#14196  ResolverVisitor.visitNode (package:analyzer/src/generated/resolver.dart:1820:10)
#14197  ScopedVisitor.visitBlock (package:analyzer/src/generated/resolver.dart:2215:7)
#14198  BlockFunctionBodyImpl.visitChildren (package:analyzer/src/dart/ast/ast.dart:1080:49)
#14199  ResolverVisitor.visitNode (package:analyzer/src/generated/resolver.dart:1820:10)
#14200  ScopedVisitor.visitBlockFunctionBody (package:analyzer/src/generated/resolver.dart:2218:4)
#14201  ResolverVisitor.visitBlockFunctionBody (package:analyzer/src/generated/resolver.dart:966:13)
#14202  ScopedVisitor.visitConstructorDeclaration (package:analyzer/src/generated/resolver.dart:746:3)
#14203  ResolverVisitor.visitConstructorDeclaration (package:analyzer/src/generated/resolver.dart:1112:13)
#14204  ConstructorDeclarationImpl.accept (package:analyzer/src/dart/ast/ast.dart:2553:15)
#14205  ScopedVisitor.visitClassDeclaration (package:analyzer/src/generated/resolver.dart:4545:55956)
#14206  ResolverVisitor.visitClassDeclaration (package:analyzer/src/generated/resolver.dart:1009:13)
#14207  ClassDeclarationImpl.accept (package:analyzer/src/dart/ast/ast.dart:1518:49)
#14208  ResolverVisitor.visitCompilationUnit (package:analyzer/src/generated/resolver.dart:1051:23)
#14209  CompilationUnitImpl.accept (package:analyzer/src/dart/ast/ast.dart:2086:49)
#14210  LibraryAnalyzer._resolveFile (package:analyzer/src/dart/analysis/library_analyzer.dart:719:10)
#14211  LibraryAnalyzer.analyzeSync.<anonymous closure> (package:analyzer/src/dart/analysis/library_analyzer.dart:155:7)
#14212  _LinkedHashMapMixin.forEach (dart:collection-patch/compact_hash.dart:379:8)
#14213  LibraryAnalyzer.analyzeSync (package:analyzer/src/dart/analysis/library_analyzer.dart:154:11)
#14214  LibraryAnalyzer.analyze.<anonymous closure> (package:analyzer/src/dart/analysis/library_analyzer.dart:123:14)
#14215  _PerformanceTagImpl.makeCurrentWhile (package:analyzer/src/generated/utilities_general.dart:254:15)
#14216  LibraryAnalyzer.analyze (package:analyzer/src/dart/analysis/library_analyzer.dart:122:43)
#14217  AnalysisDriver._computeAnalysisResult.<anonymous closure> (package:analyzer/src/dart/analysis/driver.dart:1278:63)
#14218  PerformanceLog.run (package:analyzer/src/dart/analysis/performance_logger.dart:34:15)
#14219  AnalysisDriver._computeAnalysisResult (package:analyzer/src/dart/analysis/driver.dart:1254:20)
#14220  AnalysisDriver.performWork (package:analyzer/src/dart/analysis/driver.dart:932:33)
#14221  _asyncThenWrapperHelper.<anonymous closure> (dart:async-patch/async_patch.dart)
#14222  _rootRunUnary (dart:async/zone.dart:1134:38)
#14223  _FutureListener.handleValue (dart:async/future_impl.dart:818:10625)
#14224  Future._propagateToListeners.handleValueCallback (dart:async/future_impl.dart:682:45)
#14225  Future._propagateToListeners (dart:async/future_impl.dart:711:32)
#14226  Future._addListener.<anonymous closure> (dart:async/future_impl.dart:391:9)
#14227  _rootRun (dart:async/zone.dart:1126:13)
#14228  _CustomZone.runGuarded (dart:async/zone.dart:1023:19)
#14229  _CustomZone.bindCallbackGuarded.<anonymous closure> (dart:async/zone.dart:965:23)
#14230  _startMicrotaskLoop (dart:async/schedule_microtask.dart:43:21)
#14231  _Timer._runTimers (dart:isolate-patch/timer_impl.dart:393:30)
#14232  _RawReceivePortImpl._handleMessage (dart:isolate-patch/isolate_patch.dart)
@devoncarew devoncarew added legacy-area-analyzer Use area-devexp instead. analyzer-crash-report Issues which have been reported due to an analysis server crash labels Jan 3, 2020
@MichaelRFairhurst
Copy link
Contributor

@stereotype441 @scheglov

This is affecting #40362

@scheglov
Copy link
Contributor

@MichaelRFairhurst Do you know how to reproduce this? I looked at the referenced issue, but don't see this exception there.

@MichaelRFairhurst
Copy link
Contributor

The crash occurs when analyzing package:aysnc

I saw it with

dart --enable-asserts pkg/nnbd_migration/tool/trial_migration.dart -g https://dart.googlesource.com/async.git isTop

@scheglov
Copy link
Contributor

Thanks!
https://dart-review.googlesource.com/c/sdk/+/133664

@scheglov scheglov self-assigned this Jan 29, 2020
dart-bot pushed a commit that referenced this issue Jan 29, 2020
@scheglov
Issue 39976. Treat UnknownInferredType as top.
b4698ff 
Bug: #39976
Change-Id: Ie14f279323282e3143d5d936e3edc953cebd9ff2
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/133664
Reviewed-by: Brian Wilkerson <[email protected]>
Commit-Queue: Konstantin Shcheglov <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@scheglov scheglov

Labels
analyzer-crash-report Issues which have been reported due to an analysis server crash legacy-area-analyzer Use area-devexp instead.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@scheglov @devoncarew @MichaelRFairhurst