Hi Folkert,
getName() should work for namedDecl only; to get type names, you need to
work differently.
I suggest you have a look at:
http://clang.llvm.org/doxygen/TypePrinter_8cpp_source.html
http://clang.llvm.org/doxygen/ASTDumper_8cpp_source.html
http://clang.llvm.org/doxygen/StmtDumper_8cpp_s
Mikhail,
Thanks.
Problem with getName() is that it does not exist for too many types.
For example when I have a QualType that I would like to get as a string,
then the doxygen says there's a getAstString static function but in
reality it is not there. There's also no getName() for QualType. Then
t
In ESBMC [0], we use:
-lclangTooling -lclangDriver -lclangFrontend -lclangParse
-lclangSerialization -lclangSema -lclangAnalysis -lclangEdit -lclangLex
-lclangAST -lclangBasic -lLLVMBitReader -lLLVMCore -lLLVMOption
-lLLVMMCParser -lLLVMMC -lLLVMSupport -lrt -ldl -lpthread -lz -lm
For clang, we h
