Skip to content
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

Assertion failure: !replacement->HasUnmatchedInputRepresentations() #55003

Closed
rmacnak-google opened this issue Feb 23, 2024 · 0 comments
Closed
Assignees
Labels
area-vm Use area-vm for VM related issues, including code coverage, and the AOT and JIT backends. crash Process exits with SIGSEGV, SIGABRT, etc. An unhandled exception is not a crash. dartfuzz Found with Dart fuzzing (DartFuzz, libFuzzer, etc.) P2 A bug or feature request we're likely to work on triaged Issue has been triaged by sub team

Comments

@rmacnak-google
Copy link
Contributor

int var64 = -1;
num var68 = 2;

@pragma("vm:always-consider-inlining")
Set<bool>? foo0_1() {
  return <bool>{
    (8 <= (((var64 + -90) * 9223372034707292160) % var68)),
  };
}

main() {
  try {
    foo0_1();
  } catch (e, st) {
    print('X0().foo0_1 throws');
  }
}
$ DART_CONFIGURATION='DebugX64C' DART_VM_FLAGS='--enable-asserts' pkg/vm/tool/precompiler2 --optimization_level=3 fuzz.dart snapshot
../../runtime/vm/compiler/backend/flow_graph.cc: 2682: error: expected: !replacement->HasUnmatchedInputRepresentations()
version=3.4.0-edge.1bd7fd70853f10289018919ee2fd3346adc94328 (main) (Wed Feb 21 13:39:05 2024 -0800) on "linux_x64"
pid=1605957, thread=1605957, isolate_group=isolate(0x55a5b39a0d20), isolate=(nil)((nil))
os=linux, arch=x64, comp=yes, sim=no
isolate_instructions=0, vm_instructions=0
fp=7fffde7e40e0, sp=7fffde7e3fa8, pc=55a5b2339aac
  pc 0x000055a5b2339aac fp 0x00007fffde7e40e0 dart::Profiler::DumpStackTrace+0x7c
  pc 0x000055a5b207fd54 fp 0x00007fffde7e41c0 dart::Assert::Fail+0x84
  pc 0x000055a5b274208a fp 0x00007fffde7e4220 dart::FlowGraph::Canonicalize+0x32a
  pc 0x000055a5b28447e5 fp 0x00007fffde7e4240 dart::CompilerPass_Canonicalize::DoBody+0x15
  pc 0x000055a5b2843db6 fp 0x00007fffde7e4310 dart::CompilerPass::Run+0x126
  pc 0x000055a5b28444fb fp 0x00007fffde7e4330 dart::CompilerPass::RunPipeline+0x2fb
  pc 0x000055a5b26f1913 fp 0x00007fffde7e4a70 dart::PrecompileParsedFunctionHelper::Compile+0x503
  pc 0x000055a5b26f2669 fp 0x00007fffde7e5340 dart::PrecompileFunctionHelper+0x3b9
  pc 0x000055a5b26ed42c fp 0x00007fffde7e5460 dart::Precompiler::CompileFunction+0x1ac
  pc 0x000055a5b26ebef5 fp 0x00007fffde7e5500 dart::Precompiler::ProcessFunction+0x165
  pc 0x000055a5b26e6854 fp 0x00007fffde7e5550 dart::Precompiler::Iterate+0x94
  pc 0x000055a5b26e313c fp 0x00007fffde7e5ec0 dart::Precompiler::DoCompileAll+0x192c
  pc 0x000055a5b26e1766 fp 0x00007fffde7e6350 dart::Precompiler::CompileAll+0xb6
  pc 0x000055a5b292161e fp 0x00007fffde7e6500 Dart_Precompile+0x1be
  pc 0x000055a5b2052411 fp 0x00007fffde7e6670 dart::bin::main+0x8d1
@rmacnak-google rmacnak-google added area-vm Use area-vm for VM related issues, including code coverage, and the AOT and JIT backends. crash Process exits with SIGSEGV, SIGABRT, etc. An unhandled exception is not a crash. dartfuzz Found with Dart fuzzing (DartFuzz, libFuzzer, etc.) labels Feb 23, 2024
@a-siva a-siva added P2 A bug or feature request we're likely to work on triaged Issue has been triaged by sub team labels Feb 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area-vm Use area-vm for VM related issues, including code coverage, and the AOT and JIT backends. crash Process exits with SIGSEGV, SIGABRT, etc. An unhandled exception is not a crash. dartfuzz Found with Dart fuzzing (DartFuzz, libFuzzer, etc.) P2 A bug or feature request we're likely to work on triaged Issue has been triaged by sub team
Projects
None yet
Development

No branches or pull requests

4 participants