Thread Safety Analysis: update to internal SExpr handling.

Description

Thread Safety Analysis: update to internal SExpr handling.
This patch is the first part of a significant refactoring that seeks to restore
sanity to way thread safety analysis deals with capability expressions. The
current patch merely provides an outline of the structure of the new system.
It's not yet connected to the actual analysis, so there's no change in
functionality.

Details

Committed
delesleyApr 7 2014, 11:09 AM
Parents
rL205727: Mangle the vbptr offset into pointers to member functions
Branches
Unknown
Tags
Unknown