(that is, I'm using the llvm-11.0 branch of creduce)
with:
llvm-config --version
11.0.1
and on 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;
}
As reported in https://github.com/marxin/cvise/issues/58
For:
(that is, I'm using the
llvm-11.0
branch ofcreduce
)with:
and on the following file:
we get: