Changes in / [60ba456:c28afead]

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 : Thu Apr 19 17:52:03 2018
+// Update Count     : 19
 //
 
@@ -52 +52 @@
         {"self-assign"         , "self assignment of expression: %s"           , Severity::Warn},
         {"reference-conversion", "rvalue to reference conversion of rvalue: %s", Severity::Warn},
+        {"qualifiers-zero_t-one_t", "questionable use of type qualifier %s with %s", Severity::Warn},
 };
 
@@ -57 +58 @@
         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: