HomePhabricator

[analyzer] Add a new abstraction over all types of calls: CallEvent

Authored by jordan_rose on Jul 2 2012, 12:27 PM.

Description

[analyzer] Add a new abstraction over all types of calls: CallEvent

This is intended to replace CallOrObjCMessage, and is eventually intended to be
used for anything that cares more about /what/ is being called than /how/ it's
being called. For example, inlining destructors should be the same as inlining
blocks, and checking attribute((nonnull)) should apply to the allocator
calls generated by operator new.

llvm-svn: 159554

Details