Skip to content

[cfe] co19/LanguageFeatures/Extension-types/static_analysis_extension_types_A23_t01 crashes CFE #53212

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.

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

Closed
sgrekhov opened this issue Aug 14, 2023 · 0 comments
Assignees
Labels
cfe-feature-extension-types Implement extension types feature in the CFE crash Process exits with SIGSEGV, SIGABRT, etc. An unhandled exception is not a crash. feature-extension-types Implementation of the extension type feature legacy-area-front-end Legacy: Use area-dart-model instead.

Comments

@sgrekhov
Copy link
Contributor

The following test crashes CFE
Log:

/==============================================================================================================================================\
| co19/LanguageFeatures/Extension-types/static_analysis_extension_types_A23_t01 failed again (MissingCompileTimeError -> Crash, expected Pass) |
\==============================================================================================================================================/

--- Command "fasta" (took 45ms):
(cd /b/s/w/ir/cache/builder/sdk/ ; DART_CONFIGURATION=ReleaseX64 ./out/ReleaseX64/dart ./pkg/front_end/tool/_fasta/compile.dart --verify --skip-platform-verification -o ./out/ReleaseX64/generated_compilations/cfe-strong-linux/tests_co19_src_LanguageFeatures_Extension-types_static_analysis_extension_types_A23_t01/out.dill --platform ./out/ReleaseX64/vm_platform_strong.dill -Dtest_runner.configuration=cfe-strong-linux --enable-experiment=inline-class --nnbd-strong --packages=./.dart_tool/package_config.json ./tests/co19/src/LanguageFeatures/Extension-types/static_analysis_extension_types_A23_t01.dart )

exit code:
253

stdout:
tests/co19/src/LanguageFeatures/Extension-types/static_analysis_extension_types_A23_t01.dart:15:3: Error: 'V1' is already declared in this scope.
  V1.new(this.id, [Object? _]);
  ^^
tests/co19/src/LanguageFeatures/Extension-types/static_analysis_extension_types_A23_t01.dart:14:18: Context: Previous declaration of 'V1'.
extension type V1(int id) {
                 ^^
tests/co19/src/LanguageFeatures/Extension-types/static_analysis_extension_types_A23_t01.dart:19:24: Error: Duplicated parameter name 'id'.
  V2.n1(this.id, super.id);
                       ^^
tests/co19/src/LanguageFeatures/Extension-types/static_analysis_extension_types_A23_t01.dart:19:14: Context: Other parameter named 'id'.
  V2.n1(this.id, super.id);
             ^^

stderr:
Unhandled exception:
  Crash when compiling:
'package:front_end/src/fasta/builder/omitted_type_builder.dart': Failed assertion: line 153 pos 14: 'hasType': No type computed for InferredTypeBuilder((inferable=SourceExtensionTypeConstructorBuilder(n1)))

#0      _AssertionError._doThrowNew (dart:core-patch/errors_patch.dart:51:61)
#1      _AssertionError._throwNew (dart:core-patch/errors_patch.dart:40:5)
#2      InferableTypeBuilder.inferType (package:front_end/src/fasta/builder/omitted_type_builder.dart:153:14)
#3      SourceLoader.performTopLevelInference (package:front_end/src/fasta/source/source_loader.dart:2858:19)
#4      KernelTarget.buildOutlines.<anonymous closure> (package:front_end/src/fasta/kernel/kernel_target.dart:511:14)
<asynchronous suspension>
#5      withCrashReporting (package:front_end/src/fasta/crash.dart:133:12)
<asynchronous suspension>
#6      KernelTarget.buildOutlines (package:front_end/src/fasta/kernel/kernel_target.dart:388:12)
<asynchronous suspension>
#7      CompileTask._buildOutline (file:///b/s/w/ir/cache/builder/sdk/pkg/front_end/tool/_fasta/entry_points.dart:393:31)
<asynchronous suspension>
#8      CompileTask.compile (file:///b/s/w/ir/cache/builder/sdk/pkg/front_end/tool/_fasta/entry_points.dart:433:31)
<asynchronous suspension>
#9      BatchCompiler.batchCompileImpl (file:///b/s/w/ir/cache/builder/sdk/pkg/front_end/tool/_fasta/entry_points.dart:221:5)
<asynchronous suspension>
#10     CompilerContext.clear (package:front_end/src/fasta/compiler_context.dart:139:3)
<asynchronous suspension>
#11     runProtectedFromAbort (file:///b/s/w/ir/cache/builder/sdk/pkg/front_end/tool/_fasta/command_line.dart:416:12)
<asynchronous suspension>
#12     BatchCompiler.run (file:///b/s/w/ir/cache/builder/sdk/pkg/front_end/tool/_fasta/entry_points.dart:173:13)
<asynchronous suspension>

--- Re-run this test:
python3 tools/test.py -n cfe-strong-linux co19/LanguageFeatures/Extension-types/static_analysis_extension_types_A23_t01
@sgrekhov sgrekhov added legacy-area-front-end Legacy: Use area-dart-model instead. crash Process exits with SIGSEGV, SIGABRT, etc. An unhandled exception is not a crash. labels Aug 14, 2023
@johnniwinther johnniwinther added the feature-extension-types Implementation of the extension type feature label Oct 3, 2023
@johnniwinther johnniwinther added the cfe-feature-extension-types Implement extension types feature in the CFE label Oct 13, 2023
@chloestefantsova chloestefantsova self-assigned this Oct 23, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
cfe-feature-extension-types Implement extension types feature in the CFE crash Process exits with SIGSEGV, SIGABRT, etc. An unhandled exception is not a crash. feature-extension-types Implementation of the extension type feature legacy-area-front-end Legacy: Use area-dart-model instead.
Projects
None yet
Development

No branches or pull requests

3 participants