From e9d7b9de5705a3b5c0b822077fbd165c86087481 Mon Sep 17 00:00:00 2001
From: gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4>
Date: Sat, 17 Oct 2009 11:07:15 +0000
Subject: git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@1230
 35acf78f-673a-0410-8e92-d51de3d6d3f4

---
 test/coverage/Makefile     | 2 +-
 test/coverage/chcore.c     | 3 ++-
 test/coverage/main.c       | 3 +++
 test/coverage/serial_lld.c | 2 ++
 4 files changed, 8 insertions(+), 2 deletions(-)

(limited to 'test')

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) {
-- 
cgit v1.2.3