From: evans1629 <evans1629>
Date: Tue, 28 Oct 2003 22:41:16 +0000 (+0000)
Subject: Fixed internal bug reporting for redefinition of __func__
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/061ece7d6fedbde47030222fea74b575c12707dc

Fixed internal bug reporting for redefinition of __func__
---

diff --git a/src/cpplib.c b/src/cpplib.c
index 66be54b..fd8356f 100644
--- a/src/cpplib.c
+++ b/src/cpplib.c
@@ -2837,7 +2837,7 @@ do_defineAux (cppReader *pfile, struct directive *keyword,
       else if (hp->type == T_CONST)
 	ok = !CPPOPTIONS (pfile)->done_initializing;
       else {
-	BADBRANCH;
+	ok = FALSE; /* Redefining anything else is bad. */
       }
 
       /* Print the warning if it's not ok.  */