EXtensive code clean up. Almost passes LCLint.

[splint.git] / src / exprData.i

diff --git a/src/exprData.i b/src/exprData.i
index 951af9268679b70ad07c5c349ba0640b11f786ab..3e5c88e88b74d3325fa59df641d6fb05e1c0a9b9 100644 (file)
--- a/src/exprData.i
+++ b/src/exprData.i
@@ -7,6 +7,7 @@
 
 /*@i777*/
 /*@-fcnuse*/
+/*@-shadow*/
 
 static void exprData_freeShallow (/*@only@*/ exprData data, exprKind kind)
 {
@@ -655,9 +656,4 @@ static /*@only@*/ exprData exprData_makeFor (/*@keep@*/ exprNode init,
 
 /*@=fcnuse*/
 
-
-
-
-
-
-
+/*@=shadow*/