On Fri, May 9, 2014 at 1:59 PM, Delesley Hutchins <[email protected]> wrote: > LGTM.
Thanks! Committed in r208439. ~Aaron > > > > 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
