Assert of 'clang_delta'

[marxin]

Assert of 'clang_delta'

[marxin]

Thanks for the report.
What version of LLVM do you use for CVise as a run-time library?
I can run the transformation with success:

$ clang_delta/clang_delta  --transformation=remove-unused-function  tc.C --counter=1 --std=c++17
#include <variant>
#include <vector>
struct A {
         std::basic_string<wchar_t> m;
       };
        struct B {
         B(A a);
         std::variant<A> m;
       };
        struct C : B {
         using B::B;
       };

Can you please attach output of pre-processed source file -E option for clang?

[JVApen]

I'm using LLVM 10, let me see if I can do so easily

[JVApen]

C:\path\to\build-cvise\clang_delta\Debug\clang_delta.exe --transformation=remove-unused-function
t.cpp.preprocessed.cpp --counter=1 --std=c++17
Warning: number of transformation instances exceeded
Assertion failed: RWBuf && "Empty RewriteBuffer!", file G:\llvm\cvise-master\clang_delta\Transformation.cpp, line 103

The file: t.cpp.preprocessed.zip

[marxin]

I'm sorry but I can't compile it on Linux:

clang++ x.ii -std=c++17
In file included from .\t.cpp:1:
In file included from c:\path\to\Vs2019\VC\Tools\MSVC\14.24.28314\include\variant:9:
In file included from c:\path\to\Vs2019\VC\Tools\MSVC\14.24.28314\include\yvals.h:9:
In file included from c:\path\to\Vs2019\VC\Tools\MSVC\14.24.28314\include\yvals_core.h:253:
In file included from c:\path\to\Vs2019\VC\Tools\MSVC\14.24.28314\include\vcruntime.h:58:
In file included from c:\path\to\LLVM_10_0_0\lib\clang\10.0.0\include\vadefs.h:18:
c:\path\to\Vs2019\VC\Tools\MSVC\14.24.28314\include\vadefs.h:28:33: error: expected ';' after top level declarator
        typedef unsigned __int64 uintptr_t;
                                ^
In file included from .\t.cpp:1:
In file included from c:\path\to\Vs2019\VC\Tools\MSVC\14.24.28314\include\variant:9:
In file included from c:\path\to\Vs2019\VC\Tools\MSVC\14.24.28314\include\yvals.h:9:
In file included from c:\path\to\Vs2019\VC\Tools\MSVC\14.24.28314\include\yvals_core.h:253:
c:\path\to\Vs2019\VC\Tools\MSVC\14.24.28314\include\vcruntime.h:190:29: error: expected ';' after top level declarator
    typedef unsigned __int64 size_t;
                            ^
c:\path\to\Vs2019\VC\Tools\MSVC\14.24.28314\include\vcruntime.h:245:42: error: unknown type name 'size_t'
        template <typename _CountofType, size_t _SizeOfArray>
                                         ^

$ g++ x.ii -std=c++17 -fmax-errors=3
In file included from c:\path\to\LLVM_10_0_0\lib\clang\10.0.0\include\vadefs.h:18,
                 from c:\path\to\Vs2019\VC\Tools\MSVC\14.24.28314\include\vcruntime.h:58,
                 from c:\path\to\Vs2019\VC\Tools\MSVC\14.24.28314\include\yvals_core.h:253,
                 from c:\path\to\Vs2019\VC\Tools\MSVC\14.24.28314\include\yvals.h:9,
                 from c:\path\to\Vs2019\VC\Tools\MSVC\14.24.28314\include\variant:9,
                 from .\t.cpp:1:
c:\path\to\Vs2019\VC\Tools\MSVC\14.24.28314\include\vadefs.h:28:34: error: expected initializer before ‘uintptr_t’
In file included from c:\path\to\LLVM_10_0_0\lib\clang\10.0.0\include\vadefs.h:18,
                 from c:\path\to\Vs2019\VC\Tools\MSVC\14.24.28314\include\vcruntime.h:58,
                 from c:\path\to\Vs2019\VC\Tools\MSVC\14.24.28314\include\yvals_core.h:253,
                 from c:\path\to\Vs2019\VC\Tools\MSVC\14.24.28314\include\yvals.h:9,
                 from c:\path\to\Vs2019\VC\Tools\MSVC\14.24.28314\include\variant:9,
                 from .\t.cpp:1:
c:\path\to\Vs2019\VC\Tools\MSVC\14.24.28314\include\vadefs.h:112:18: error: expected initializer before ‘__va_start’
In file included from c:\path\to\Vs2019\VC\Tools\MSVC\14.24.28314\include\yvals_core.h:253,
                 from c:\path\to\Vs2019\VC\Tools\MSVC\14.24.28314\include\yvals.h:9,
                 from c:\path\to\Vs2019\VC\Tools\MSVC\14.24.28314\include\variant:9,
                 from .\t.cpp:1:
c:\path\to\Vs2019\VC\Tools\MSVC\14.24.28314\include\vcruntime.h:190:30: error: expected initializer before ‘size_t’
compilation terminated due to -fmax-errors=3.

[JVApen]

I guess you can replace __int64 by std::int64_t if you add the include

[marxin]

It will require much more adjustments. You can try it here:
https://godbolt.org/

[JVApen]

-fms-extensions does a lot, however, I seem to always have 32bit-64bit mismatches.
Any tips for me to debug it myself?

[marxin]

Maybe -m32 can help.
Anyway, that's more a LLVM issue than C-Vise issue. The code is invalid so it's partially understandable.