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
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
