Date: Mon, 18 Mar 2013 16:00:20 GMT From: Robert Watson <rwatson@FreeBSD.org> To: Perforce Change Reviews <perforce@FreeBSD.org> Subject: PERFORCE change 223012 for review Message-ID: <201303181600.r2IG0K6V009883@skunkworks.freebsd.org>
next in thread | raw e-mail | index | archive | help
http://p4web.freebsd.org/@@223012?ac=10 Change 223012 by rwatson@rwatson_cinnamon on 2013/03/18 15:59:26 Provide a TESLA inline assertion stub for slightly unexpected case of generating a kernel on which analysis has taken place, but that is not instrumented. Affected files ... .. //depot/projects/ctsrd/tesla/src/sys/libtesla/tesla.h#3 edit Differences ... ==== //depot/projects/ctsrd/tesla/src/sys/libtesla/tesla.h#3 (text+ko) ==== @@ -149,6 +149,12 @@ #define __tesla_optional(...) 0 #define __tesla_any(...) 0 +inline void +__tesla_inline_assertion(const char *filename, int line, int count, + __tesla_locality *loc, ...) +{ +} + #endif /* __TESLA_ANALYSER__ */ #endif /* TESLA_H */
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201303181600.r2IG0K6V009883>