search for: illlegal

..., in C++ they're void. This difference is behind the IR you posted, and the function pointer cast required in the C version. Since DSA often has conservative results, one way to keep down explosion of the size of the analysis information (while doing interprocedural inlining) is to drop "illlegal" callgraph edges. This can be very useful in many cases, particularly at helping DSA scale on large codes that are hard to analyze. Anyway, one such arguably illegal pairing is a varargs/nonvarargs mismatch between callsite and callee, and filtering on this is what's causing the results...

I wrote: > I'll keep poking at this some more and let you folks know if I hit any other surprises. Well, that didn't take long. :-) I have found two new surprises in DSCallGraph as built by TDDataStructures. Consider the following program, which is complete and self-contained and which has one simple indirect call site: volatile int unknown; static void red() { } static void

Will Dietz wrote: > This is actually the expected behavior for EQTD :). Expected by you, maybe. :-D > If you switch to TD you'll get better alias-analysis information, and > in this example the correct result. OK, I have switched to TDDataStructures as well, and I am also seeing much better (for my purposes) results in simple tests. I'll keep poking at this some more and