[cfe-commits] r170825 - in /cfe/trunk: include/clang/Analysis/CallGraph.h lib/Analysis/CallGraph.cpp lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp

[Jordan Rose]

On Dec 20, 2012, at 19:03 , Anna Zaks <ganna at apple.com> wrote:

> 
> On Dec 20, 2012, at 5:53 PM, Jordan Rose <jordan_rose at apple.com> wrote:
>>> +  // Adds may-call edges for the ObjC message sends.
>> 
>> Looks like there's nothing special about "may-call" edges anymore?
>> 
> 
> What do you mean? It's a "may-call" because we are not 100% sure that is what will be called at runtime (We don't do the same checking as in CallEvent to be 100% sure.).

Hm. Yeah, I got that, but the way I read the comment first was that the CallGraph kept track of the difference between "may-call" and "will-call" edges. Maybe it's fine.