X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/11c40ce9ae842585926cc1abd029f9f5a6702827..419f7a7a4b388dfc03c75bebaffcf97116ea0410:/src/exprNode.c

diff --git a/src/exprNode.c b/src/exprNode.c
index dca9548..9ddccbe 100644
--- a/src/exprNode.c
+++ b/src/exprNode.c
@@ -5829,12 +5829,24 @@ exprNode_makeOp (/*@keep@*/ exprNode e1, /*@keep@*/ exprNode e2,
 	    }
 	  else
 	    {
-	      voptgenerror
-		(FLG_REALCOMPARE,
-		 message ("Dangerous comparison involving %s types: %s",
-			  ctype_unparse (rtype),
-			  exprNode_unparse (ret)),
-		 ret->loc);
+	      if (opid == EQ_OP || opid == NE_OP) 
+		{
+		  voptgenerror
+		    (FLG_REALCOMPARE,
+		     message ("Dangerous equality comparison involving %s types: %s",
+			      ctype_unparse (rtype),
+			      exprNode_unparse (ret)),
+		     ret->loc);
+		}
+	      else
+		{
+		  voptgenerror
+		    (FLG_REALRELATECOMPARE,
+		     message ("Possibly dangerous relational comparison involving %s types: %s",
+			      ctype_unparse (rtype),
+			      exprNode_unparse (ret)),
+		     ret->loc);
+		}
 	    }
 	}
       /*@fallthrough@*/