Changeset e04b636 for src/SynTree

Timestamp:

Mar 21, 2017, 12:36:01 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:

168c007, cb0e6de

Parents:

31ce3d6

Message:

Implemented and tested coroutine keyword

File:

• src/SynTree/Type.h (modified) (1 diff)

src/SynTree/Type.h

@@ -117 +117 @@
                 bool operator!=( Qualifiers other ) const { return (val & Mask) != (other.val & Mask); }
                 bool operator<=( Qualifiers other ) const {
-                        return is_const <= other.is_const && is_volatile <= other.is_volatile &&
-                                is_mutex >= other.is_mutex && is_atomic == other.is_atomic;
+                        return is_const    <= other.is_const        //Any non-const converts to const without cost
+                                        && is_volatile <= other.is_volatile     //Any non-volatile converts to volatile without cost
+                                        && is_mutex    >= other.is_mutex        //Any mutex converts to non-mutex without cost
+                                        && is_atomic   == other.is_atomic;      //No conversion from atomic to non atomic is free
                 }
                 bool operator<( Qualifiers other ) const { return *this != other && *this <= other; }