[cfe-dev] DataFlowAnalysis in Clang

[Simone Pellegrini]

Dear all,
I am currently evaluating tools to implement some high 
level-code-transformations directly in the source code. Clang seems to 
be a very nice platform for doing that, the only thing which is lacking 
is Data Dependency Analysis. I really need to have stuff like DefUse 
chains... and so on! As I cannot see anything like that in the Analysis 
module I wanted to start to implement them from scratch by myself.

Before start this adventure I want to be sure such structures aren't 
already implemented in clang. I guess that this kind of analysis is not 
inline with the philosophy of the clang project, I saw that most of the 
transformations (loop transformations/constants propagation) are meant 
to be applied at LLVM bytecode level. However for the transformation I 
am interested in I really need to work at source code level; lot of 
information is lost when it's converted (like openmp pragmas... and so 
on) and that's not good for us! :) If you have any kind of pointer about 
the implementation of dataflow analysis in clang... you are really welcome!

many thanks for the awesome work you are doing with clang, Simone