Thanks so much for all the help. It seems I should use Clang rather than LLVM for my analysis since I need higher-level type information than what LLVM can represent. Thanks, Naoya