Christoph Urlacher
28a3c37d41
WIP: currently the hosts are not generic and don't support different targets
20 lines
516 B
C
20 lines
516 B
C
#ifndef _include_fail_h
|
|
#define _include_fail_h
|
|
|
|
#define INLINE __attribute__((always_inline)) inline
|
|
#define NOINLINE __attribute__((noinline))
|
|
|
|
// Mark start of injection
|
|
void NOINLINE fail_start_trace(void);
|
|
// Mark end of injection
|
|
void NOINLINE fail_stop_trace(void);
|
|
|
|
// everything ok: valid code and right values
|
|
void NOINLINE fail_marker_positive(void);
|
|
// everything ok: valid code but wrong values
|
|
void NOINLINE fail_marker_negative(void);
|
|
// invalid code
|
|
void NOINLINE fail_marker_detected(void);
|
|
|
|
#endif
|