Bug fix for polarity assignment
authorHamed Gorjiara <hgorjiar@uci.edu>
Wed, 18 Jul 2018 23:31:09 +0000 (16:31 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Wed, 18 Jul 2018 23:31:09 +0000 (16:31 -0700)
src/ASTAnalyses/Polarity/polarityassignment.cc

index dc69a57..f941227 100644 (file)
@@ -44,6 +44,7 @@ void computePolarity(Boolean *This, Polarity polarity) {
                switch (This->type) {
                case BOOLEANVAR:
                case ORDERCONST:
+               case BOOLCONST:
                        return;
                case PREDICATEOP:
                        return computePredicatePolarity((BooleanPredicate *)This);