marxin / cvise

Super-parallel Python port of the C-Reduce
Other
220 stars 25 forks source link

Assertion failure with `simple-inliner` #58

Closed aytey closed 3 years ago

aytey commented 3 years ago

For the following file:

struct a;
template <typename> using b = a;
struct a {
  template <typename c> auto d(c) {
    using e = b<c>;
    return e{};
  }
} f;
auto g() -> a {
  a h;
  f.d([] {}).d(g());
  return h;
}

and arguments:

clang_delta --transformation=simple-inliner --counter=1 unit.cpp

clang_delta crashes as follows:

clang_delta: ../clang_delta/SimpleInliner.cpp:283: virtual void SimpleInliner::HandleTranslationUnit(clang::ASTContext&): Assertion `TheStmt && "NULL TheStmt!"' failed.
marxin commented 3 years ago

Thanks for the bug. Can you please report it to upstream creduce project, they should know more.

marxin commented 3 years ago

Moved to upstream.