[llvm-dev] Could I do some control-flow and dataflow analysis cross files and functions via IR

[周书林 via llvm-dev]

As mentioned in the title, I want to do some control-flow and dataflow
analysis. I can only find the assignment statement in a function, but the
assigned variable is just a parameter of this function.
For example,
****************************************
int foo(struct A* a, int b, ...){
    ...
    a->Int_field = b;
    ...
    return 0;
}
*****************************************
in the code above, I want to do some analysis for struct A* a's Int_field,
but in this function, it is only assigned, I want to find its  Use scenario
and fetch some constraints about it.
So, could I achieve this goal via IR?
Thanks a lot!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160121/b7300b0e/attachment.html>