Changeset 9dc31c10

Timestamp:

Apr 19, 2018, 5:46:39 PM (6 years ago)

Author:

Peter A. Buhr <pabuhr@…>

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, with_gc

Children:

c28afead

Parents:

d046db2

Message:

warning message for type qualifiers on zero_t/one_t

Location:

src

Files:

• Common/SemanticError.h (modified) (3 diffs)
• Common/utility.h (modified) (2 diffs)
• Parser/DeclarationNode.cc (modified) (3 diffs)
• Parser/TypeData.cc (modified) (2 diffs)

src/Common/SemanticError.h

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Aug 29 22:03:36 2017
-// Update Count     : 17
+// Last Modified On : Wed Apr 18 16:28:16 2018
+// Update Count     : 18
 //
 
@@ -39 +39 @@
         "self assignment of expression: %s",
         "rvalue to reference conversion of rvalue: %s",
+        "questionable use of type qualifier %s with %s",
 };
 
@@ -44 +45 @@
         SelfAssignment,
         RvalueToReferenceConversion,
+        BadQualifiersZeroOne,
         NUMBER_OF_WARNINGS, //This MUST be the last warning
 };

src/Common/utility.h

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Andrew Beach
-// Last Modified On : Thr Aug 17 11:38:00 2017
-// Update Count     : 34
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Thu Apr 19 16:21:44 2018
+// Update Count     : 37
 //
 
@@ -436 +436 @@
 }
 
+// -----------------------------------------------------------------------------
+// O(1) polymorphic integer log2, using clz, which returns the number of leading 0-bits, starting at the most
+// significant bit (single instruction on x86)
+
+template<typename T>
+inline constexpr T log2(const T & t) {
+        if ( std::is_integral<T>::value ) {
+                const constexpr int r = sizeof(t) * __CHAR_BIT__ - 1;
+                if ( sizeof(T) == sizeof(unsigned int ) ) return r - __builtin_clz( t );
+                if ( sizeof(T) == sizeof(unsigned long) ) return r - __builtin_clzl( t );
+                if ( sizeof(T) == sizeof(unsigned long long) ) return r - __builtin_clzll( t );
+        } // if
+        return -1;
+}
 
 

src/Parser/DeclarationNode.cc

@@ -10 +10 @@
 // Created On       : Sat May 16 12:34:05 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Feb 22 15:37:17 2018
-// Update Count     : 1033
+// Last Modified On : Thu Apr 19 15:09:29 2018
+// Update Count     : 1062
 //
 
@@ -47 +47 @@
 const char * DeclarationNode::aggregateNames[] = { "struct", "union", "trait", "coroutine", "monitor", "thread", "NoAggregateNames" };
 const char * DeclarationNode::typeClassNames[] = { "otype", "dtype", "ftype", "NoTypeClassNames" };
-const char * DeclarationNode::builtinTypeNames[] = { "__builtin_va_list", "NoBuiltinTypeNames" };
+const char * DeclarationNode::builtinTypeNames[] = { "__builtin_va_list", "zero_t", "one_t", "NoBuiltinTypeNames" };
 
 UniqueName DeclarationNode::anonymous( "__anonymous" );
@@ -561 +561 @@
 
         checkQualifiers( type, q->type );
+        if ( (builtin == Zero || builtin == One) && error.length() == 0 ) {
+                SemanticWarning( yylloc, Warning::BadQualifiersZeroOne, Type::QualifiersNames[log2( q->type->qualifiers.val )], builtinTypeNames[builtin] );
+//              appendError( error, string( "questionable qualifiers" ) );
+        } // if
         addQualifiersToType( q->type, type );
 

src/Parser/TypeData.cc

@@ -10 +10 @@
 // Created On       : Sat May 16 15:12:51 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Feb 22 15:49:00 2018
-// Update Count     : 597
+// Last Modified On : Tue Apr 17 23:00:52 2018
+// Update Count     : 602
 //
 
@@ -395 +395 @@
                 break;
           case Builtin:
-                os << "gcc builtin type";
+                os << DeclarationNode::builtinTypeNames[builtintype];
                 break;
           default: