Make it clearer where we're testing whether a value is unknown.

Add a #define of VAL_UNKNOWN for 0, and compare val[i] values against
that.

1 files changed, 5 insertions, 0 deletions

diff --git a/gencode.h b/gencode.h
index 70fe37ea..58828ecd 100644
--- a/gencode.h
+++ b/gencode.h
@@ -266,6 +266,11 @@ struct block {
 	int val[N_ATOMS];
 };
 
+/*
+ * A value of 0 for val[i] means the value is unknown.
+ */
+#define VAL_UNKNOWN	0
+
 struct arth {
 	struct block *b;	/* protocol checks */
 	struct slist *s;	/* stmt list */