diff options
| author | gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> | 2009-10-17 11:07:15 +0000 |
|---|---|---|
| committer | gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> | 2009-10-17 11:07:15 +0000 |
| commit | e9d7b9de5705a3b5c0b822077fbd165c86087481 (patch) | |
| tree | fc6a51fec7f88d34acfeb79df63cc8a4d9a10f54 /test/coverage | |
| parent | 26ed3732876a649fb02a83e768e4392034d65653 (diff) | |
| download | ChibiOS-e9d7b9de5705a3b5c0b822077fbd165c86087481.tar.gz ChibiOS-e9d7b9de5705a3b5c0b822077fbd165c86087481.tar.bz2 ChibiOS-e9d7b9de5705a3b5c0b822077fbd165c86087481.zip | |
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@1230 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'test/coverage')
| -rw-r--r-- | test/coverage/Makefile | 2 | ||||
| -rw-r--r-- | test/coverage/chcore.c | 3 | ||||
| -rw-r--r-- | test/coverage/main.c | 3 | ||||
| -rw-r--r-- | test/coverage/serial_lld.c | 2 |
4 files changed, 8 insertions, 2 deletions
diff --git a/test/coverage/Makefile b/test/coverage/Makefile index fb069123c..adefad74b 100644 --- a/test/coverage/Makefile +++ b/test/coverage/Makefile @@ -96,7 +96,7 @@ LIBS = $(DLIBS) $(ULIBS) LDFLAGS = -Wl,-Map=$(PROJECT).map,--cref,--no-warn-mismatch -lgcov $(LIBDIR)
ASFLAGS = -Wa,-amhls=$(<:.s=.lst) $(ADEFS)
-CPFLAGS = $(OPT) -Wall -Wstrict-prototypes -fverbose-asm -Wa,-alms=$(<:.c=.lst) $(DEFS)
+CPFLAGS = $(OPT) -Wall -Wextra -Wstrict-prototypes -fverbose-asm -Wa,-alms=$(<:.c=.lst) $(DEFS)
# Generate dependency information
CPFLAGS += -MD -MP -MF .dep/$(@F).d
diff --git a/test/coverage/chcore.c b/test/coverage/chcore.c index 9ec3dd9f5..6b934ad9a 100644 --- a/test/coverage/chcore.c +++ b/test/coverage/chcore.c @@ -84,8 +84,9 @@ void ChkIntSources(void) { */
__attribute__((used))
static void __dummy(Thread *otp, Thread *ntp) {
+ (void)otp; (void)ntp;
asm volatile (".globl @port_switch@8 \n\t" \
- "@port_switch@8: \n\t" \
+ "@port_switch@8: \n\t" \
"push %ebp \n\t" \
"push %esi \n\t" \
"push %edi \n\t" \
diff --git a/test/coverage/main.c b/test/coverage/main.c index 893747546..923fb12c2 100644 --- a/test/coverage/main.c +++ b/test/coverage/main.c @@ -30,6 +30,9 @@ int main(int argc, char *argv[]) {
msg_t result;
+ (void)argc;
+ (void)argv;
+
chSysInit();
sdStart(&SD1, NULL);
diff --git a/test/coverage/serial_lld.c b/test/coverage/serial_lld.c index 70c073648..e1f3897a1 100644 --- a/test/coverage/serial_lld.c +++ b/test/coverage/serial_lld.c @@ -92,6 +92,7 @@ void sd_lld_init(void) { */
void sd_lld_start(SerialDriver *sdp, const SerialDriverConfig *config) {
+ (void)sdp;
if (config == NULL)
config = &default_config;
@@ -106,6 +107,7 @@ void sd_lld_start(SerialDriver *sdp, const SerialDriverConfig *config) { */
void sd_lld_stop(SerialDriver *sdp) {
+ (void)sdp;
}
bool_t sd_lld_interrupt_pending(void) {
|