Changeset bdd516a for translator/SynTree/Type.h

Timestamp:

Apr 28, 2015, 4:21:36 PM (9 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

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

Children:

42e2ad7

Parents:

ad17ba6a

Message:

fixed sizeof type variable, find lowest cost alternative for sizeof expression, removed unused classes, added compiler flag, remove temporary file for -CFA, formatting

File:

• translator/SynTree/Type.h (modified) (9 diffs)

translator/SynTree/Type.h

@@ -10 +10 @@
   public:
     struct Qualifiers {  
-      Qualifiers(): isConst( false ), isVolatile( false ), isRestrict( false ), isLvalue( false ) {}
-      Qualifiers( bool isConst, bool isVolatile, bool isRestrict, bool isLvalue ): isConst( isConst ), isVolatile( isVolatile ), isRestrict( isRestrict ), isLvalue( isLvalue ) {}
+      Qualifiers(): isConst( false ), isVolatile( false ), isRestrict( false ), isLvalue( false ), isAtomic( false ) {}
+      Qualifiers( bool isConst, bool isVolatile, bool isRestrict, bool isLvalue, bool isAtomic ): isConst( isConst ), isVolatile( isVolatile ), isRestrict( isRestrict ), isLvalue( isLvalue ), isAtomic( isAtomic ) {}
         
         Qualifiers &operator+=( const Qualifiers &other );
@@ -27 +27 @@
         bool isRestrict;
         bool isLvalue;
+        bool isAtomic;
     };  
 
@@ -38 +39 @@
     bool get_isRestrict() { return tq.isRestrict; }
     bool get_isLvalue() { return tq.isLvalue; }
+    bool get_isAtomic() { return tq.isAtomic; }
     void set_isConst( bool newValue ) { tq.isConst = newValue; }
     void set_iisVolatile( bool newValue ) { tq.isVolatile = newValue; }
     void set_isRestrict( bool newValue ) { tq.isRestrict = newValue; }
     void set_isLvalue( bool newValue ) { tq.isLvalue = newValue; }
+    void set_isAtomic( bool newValue ) { tq.isAtomic = newValue; }
     std::list<TypeDecl*>& get_forall() { return forall; }
 
@@ -380 +383 @@
     isRestrict |= other.isRestrict;
     isLvalue |= other.isLvalue;
+    isAtomic |= other.isAtomic;
     return *this;
 }
@@ -387 +391 @@
     if ( other.isVolatile ) isVolatile = 0;
     if ( other.isRestrict ) isRestrict = 0;
+    if ( other.isAtomic ) isAtomic = 0;
     return *this;
 }
@@ -398 +403 @@
 inline bool Type::Qualifiers::operator==( const Qualifiers &other ) {
     return isConst == other.isConst
-    && isVolatile == other.isVolatile
-    && isRestrict == other.isRestrict;
-///         && isLvalue == other.isLvalue;
+        && isVolatile == other.isVolatile
+        && isRestrict == other.isRestrict
+//      && isLvalue == other.isLvalue
+        && isAtomic == other.isAtomic;
 }
 
@@ -406 +412 @@
     return isConst != other.isConst
         || isVolatile != other.isVolatile
-        || isRestrict != other.isRestrict;
-///         && isLvalue == other.isLvalue;
+        || isRestrict != other.isRestrict
+//      || isLvalue != other.isLvalue
+        || isAtomic != other.isAtomic;
 }
 
@@ -413 +420 @@
     return isConst <= other.isConst
         && isVolatile <= other.isVolatile
-        && isRestrict <= other.isRestrict;
-///         && isLvalue >= other.isLvalue;
+        && isRestrict <= other.isRestrict
+//      && isLvalue >= other.isLvalue
+        && isAtomic == other.isAtomic;
 }
 
@@ -420 +428 @@
     return isConst >= other.isConst
         && isVolatile >= other.isVolatile
-        && isRestrict >= other.isRestrict;
-///         && isLvalue <= other.isLvalue;
+        && isRestrict >= other.isRestrict
+//      && isLvalue <= other.isLvalue
+        && isAtomic == other.isAtomic;
 }