LGTM.
On Wed, May 7, 2014 at 11:47 AM, Aaron Ballman <[email protected]> wrote: > This patch adds the ability to use logical expressions for capability > attributes. This is to allow requirements to be expressed not just in > terms of lists, but in terms of logical expressions. Eg) > > void foo(void) __attribute__((requires_capability((FlightControl || > Worker) && !Logger))); > > This functionality is lowered from an Expr into an LExpr (logical > expression) which we can then perform Boolean implication on to > determine whether the capability context satisfies the logical > expression. > > It does not hook this functionality into the existing capability > analyses because that is a considerably larger chunk of code to be > implemented in a subsequent patch. Like ThreadSafetyTIL.cpp/h, this is > WIP code. > > ~Aaron -- DeLesley Hutchins | Software Engineer | [email protected] | 505-206-0315 _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
