Changeset 4cb935e for src/ResolvExpr

Timestamp:

Dec 1, 2016, 12:46:34 PM (8 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

78b3f52

Parents:

148f7290

Message:

0 and 1 now properly parse and resolve to zero_t and one_t respectively

File:

• src/ResolvExpr/CommonType.cc (modified) (2 diffs)

src/ResolvExpr/CommonType.cc

@@ -243 +243 @@
                                         result->get_qualifiers() += zeroType->get_qualifiers();
                                 }
+                        } else if ( widenSecond && dynamic_cast< OneType* >( type2 ) ) {
+                                result = new BasicType( zeroType->get_qualifiers(), BasicType::SignedInt );
+                                result->get_qualifiers() += type2->get_qualifiers();
                         }
                 }
@@ -254 +257 @@
                                         result->get_qualifiers() += oneType->get_qualifiers();
                                 }
+                        } else if ( widenSecond && dynamic_cast< ZeroType* >( type2 ) ) {
+                                result = new BasicType( oneType->get_qualifiers(), BasicType::SignedInt );
+                                result->get_qualifiers() += type2->get_qualifiers();
                         }
                 }