From 16496f8ff7618967b4ca4b944292cc708ebf055f Mon Sep 17 00:00:00 2001
From: rlar <rlar>
Date: Sat, 10 Oct 2015 14:53:48 +0200
Subject: [PATCH] xpressn.c, fetchid(), #5/15 express some facts

---
 src/frontend/numparam/xpressn.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/frontend/numparam/xpressn.c b/src/frontend/numparam/xpressn.c
index 4a0868869..c65bb8646 100644
--- a/src/frontend/numparam/xpressn.c
+++ b/src/frontend/numparam/xpressn.c
@@ -716,6 +716,10 @@ fetchid(SPICE_DSTRINGPTR t, const char *s, const char *s_end)
         if (s > s_end)
             c = '\0';
 
+        // facts: upcase('\0') == '\0'
+        // facts: alfanum('\0') == false
+        // facts: alfanum(upcase(x)) == alfanum(x)
+
         c = upcase(c);
         ok = alfanum(c) || c == '.';