PERFORCE change 223012 for review

[Robert Watson]

http://p4web.freebsd.org/@@223012?ac=10

Change 223012 by rwatson at 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 */