Date: Mon, 18 Mar 2013 20:57:47 GMT From: Jonathan Anderson <jonathan@FreeBSD.org> To: Perforce Change Reviews <perforce@FreeBSD.org> Subject: PERFORCE change 223020 for review Message-ID: <201303182057.r2IKvlac038824@skunkworks.freebsd.org>
next in thread | raw e-mail | index | archive | help
http://p4web.freebsd.org/@@223020?ac=10 Change 223020 by jonathan@jonathan-on-joe on 2013/03/18 20:56:59 Pull from upstream commit ef1741ad. Obtained from: https://github.com/CTSRD-TESLA/TESLA/commit/ef1741ade5111a31bdf90353114e103dd9991076 Affected files ... .. //depot/projects/ctsrd/tesla/src/lib/libtesla/tesla.h#4 edit Differences ... ==== //depot/projects/ctsrd/tesla/src/lib/libtesla/tesla.h#4 (text+ko) ==== @@ -47,8 +47,11 @@ * * a counter to ensure uniqueness (__COUNTER__) * * the TESLA context (per-thread or global) */ -void __tesla_inline_assertion(const char *filename, int line, int count, - __tesla_locality*, ...); +inline void +__tesla_inline_assertion(const char *filename, int line, int count, + __tesla_locality *loc, ...) +{ +} /* Only define the following things if doing TESLA analysis, not compiling. */
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201303182057.r2IKvlac038824>