Date: Wed, 17 Jul 2013 21:35:05 GMT From: Jonathan Anderson <jonathan@FreeBSD.org> To: Perforce Change Reviews <perforce@FreeBSD.org> Subject: PERFORCE change 231232 for review Message-ID: <201307172135.r6HLZ52Y098210@skunkworks.freebsd.org>
next in thread | raw e-mail | index | archive | help
http://p4web.freebsd.org/@@231232?ac=10 Change 231232 by jonathan@jonathan-on-joe on 2013/07/17 21:34:55 Sync latest TESLA parts from GitHub (commit 829723). Affected files ... .. //depot/projects/ctsrd/tesla/src/sys/contrib/tesla/include/tesla.h#4 edit Differences ... ==== //depot/projects/ctsrd/tesla/src/sys/contrib/tesla/include/tesla.h#4 (text+ko) ==== @@ -62,11 +62,9 @@ * * a counter to ensure uniqueness (__COUNTER__) * * the TESLA context (per-thread or global) */ -inline void +void __tesla_inline_assertion(const char *filename, int line, int count, - __tesla_locality *loc, ...) -{ -} + __tesla_locality *loc, ...); /* Only define the following things if doing TESLA analysis, not compiling. */ @@ -135,6 +133,9 @@ struct __tesla_event* __tesla_optional(__tesla_event*, ...); /** A value that could match a lot of function parameters. Maybe anything? */ +#ifdef __OBJC__ +id __tesla_any_id(); +#endif void* __tesla_any_ptr(); int __tesla_any_int(); long __tesla_any_long();
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201307172135.r6HLZ52Y098210>