From e6cd8a42dd9d0be35e9d12a9d6feb329f1ed88a9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Sat, 2 May 2015 13:29:49 +0200
Subject: parse_kconfig fix problems with generated rules to be UNSAT

---
 scripts/parse_kconfig/boolexpr.c | 16 +++++++++++-----
 1 file changed, 11 insertions(+), 5 deletions(-)

(limited to 'scripts/parse_kconfig/boolexpr.c')

diff --git a/scripts/parse_kconfig/boolexpr.c b/scripts/parse_kconfig/boolexpr.c
index ccd7cef..4ce4154 100644
--- a/scripts/parse_kconfig/boolexpr.c
+++ b/scripts/parse_kconfig/boolexpr.c
@@ -113,11 +113,17 @@ struct boolexpr *boolexpr_sym(struct symlist *sl, struct symbol *sym) {
     struct boolexpr *rtn;
     rtn = malloc(sizeof(struct boolexpr));
     rtn->overusage = 0;
-    rtn->id = symlist_id(sl, sym->name);
-    if (rtn->id != 0)
-        rtn->type = BT_SYM;
-    else
-        rtn->type = BT_FALSE;
+    if (!strcmp(sym->name, "m") || !strcmp(sym->name, "n")) {
+            rtn->type = BT_FALSE;
+    } else if (!strcmp(sym->name, "y")) {
+            rtn->type = BT_TRUE;
+    } else {
+        rtn->id = symlist_id(sl, sym->name);
+        if (rtn->id != 0)
+            rtn->type = BT_SYM;
+        else
+            rtn->type = BT_FALSE;
+    }
     return rtn;
 }
 
-- 
cgit v1.2.3