From dda9608a7477b1ba76b1cc88d5cf3f2238c66e45 Mon Sep 17 00:00:00 2001
From: Tobias Grosser <tobias@grosser.es>
Date: Thu, 27 Jul 2017 18:55:02 +0200
Subject: [PATCH] Document: comparisons between isl_val and NaN always return
 false

Signed-off-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
---
 doc/user.pod | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/doc/user.pod b/doc/user.pod
index 88cb4f77..760fcbf8 100644
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -721,6 +721,11 @@ The following binary properties are defined on pairs of C<isl_val>s.
 	isl_bool isl_val_abs_eq(__isl_keep isl_val *v1,
 		__isl_keep isl_val *v2);
 
+Comparisons to NaN always return false.
+That is, a NaN is not considered to hold any relative position
+with respect to any value.  In particular, a NaN
+is neither considered to be equal to nor to be different from
+any value (including another NaN).
 The function C<isl_val_abs_eq> checks whether its two arguments
 are equal in absolute value.
 
-- 
2.11.4.GIT