Changeset ffe2fad

Timestamp:

Apr 23, 2019, 2:41:32 PM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

673cd63

Parents:

8c3a0336

Message:

Fixed several warnings in libcfa

Files:

• benchmark/ctxswitch/cfa_cor.cfa (modified) (1 diff)
• benchmark/ctxswitch/cfa_thrd2.cfa (modified) (1 diff)
• libcfa/src/bits/containers.hfa (modified) (3 diffs)
• libcfa/src/concurrency/coroutine.cfa (modified) (2 diffs)
• libcfa/src/concurrency/invoke.h (modified) (1 diff)
• libcfa/src/concurrency/kernel.cfa (modified) (1 diff)
• libcfa/src/time.hfa (modified) (5 diffs)
• libcfa/src/time_t.hfa (modified) (2 diffs)

benchmark/ctxswitch/cfa_cor.cfa

@@ -11 +11 @@
 }
 
-void main( GreatSuspender & this ) {
+void main( __attribute__((unused)) GreatSuspender & this ) {
         while( true ) {
                 suspend();

benchmark/ctxswitch/cfa_thrd2.cfa

@@ -8 +8 @@
 thread Fibre {};
 
-void main(Fibre & this) {
+void main(__attribute__((unused)) Fibre & this) {
         while(!done) {
                 yield();

libcfa/src/bits/containers.hfa

@@ -186 +186 @@
 
         forall(dtype T | is_node(T))
-        static inline bool ?!=?( __queue(T) & this, zero_t zero ) {
+        static inline bool ?!=?( __queue(T) & this, __attribute__((unused)) zero_t zero ) {
                 return this.head != 0;
         }
@@ -196 +196 @@
 //-----------------------------------------------------------------------------
 #ifdef __cforall
-        forall(dtype TYPE | sized(TYPE))
+        forall(dtype TYPE)
         #define T TYPE
         #define __getter_t * [T * & next, T * & prev] ( T & )
@@ -268 +268 @@
 
         forall(dtype T | sized(T))
-        static inline bool ?!=?( __dllist(T) & this, zero_t zero ) {
+        static inline bool ?!=?( __dllist(T) & this, __attribute__((unused)) zero_t zero ) {
                 return this.head != 0;
         }

libcfa/src/concurrency/coroutine.cfa

@@ -70 +70 @@
         bool userStack = ((intptr_t)this.storage & 0x1) != 0;
         if ( ! userStack && this.storage ) {
-                *((intptr_t*)&this.storage) &= (intptr_t)-1;
+                __attribute__((may_alias)) intptr_t * istorage = (intptr_t *)&this.storage;
+                *istorage &= (intptr_t)-1;
+
                 void * storage = this.storage->limit;
                 __cfaabi_dbg_debug_do(
@@ -174 +176 @@
         this->storage->limit = storage;
         this->storage->base  = (void*)((intptr_t)storage + size);
-        *((intptr_t*)&this->storage) |= userStack ? 0x1 : 0x0;
+        __attribute__((may_alias)) intptr_t * istorage = (intptr_t*)&this->storage;
+        *istorage |= userStack ? 0x1 : 0x0;
 }
 

libcfa/src/concurrency/invoke.h

@@ -199 +199 @@
         #ifdef __cforall
         extern "Cforall" {
-                static inline struct coroutine_desc * volatile active_coroutine() { return TL_GET( this_thread )->curr_cor; }
-                static inline struct thread_desc    * volatile active_thread   () { return TL_GET( this_thread    ); }
-                static inline struct processor      * volatile active_processor() { return TL_GET( this_processor ); } // UNSAFE
+                static inline struct coroutine_desc * active_coroutine() { return TL_GET( this_thread )->curr_cor; }
+                static inline struct thread_desc    * active_thread   () { return TL_GET( this_thread    ); }
+                static inline struct processor      * active_processor() { return TL_GET( this_processor ); } // UNSAFE
 
                 static inline thread_desc * & get_next( thread_desc & this ) {

libcfa/src/concurrency/kernel.cfa

@@ -165 +165 @@
                 base      = info->base;
         }
-        *((intptr_t*)&stack.storage) |= 0x1;
+        __attribute__((may_alias)) intptr_t * istorage = (intptr_t*) &stack.storage;
+        *istorage |= 0x1;
         name = "Main Thread";
         state = Start;

libcfa/src/time.hfa

@@ -30 +30 @@
 
 static inline {
-        Duration ?=?( Duration & dur, zero_t ) { return dur{ 0 }; }
+        Duration ?=?( Duration & dur, __attribute__((unused)) zero_t ) { return dur{ 0 }; }
 
         Duration +?( Duration rhs ) with( rhs ) {       return (Duration)@{ +tv }; }
@@ -59 +59 @@
         bool ?>=?( Duration lhs, Duration rhs ) { return lhs.tv >= rhs.tv; }
 
-        bool ?==?( Duration lhs, zero_t ) { return lhs.tv == 0; }
-        bool ?!=?( Duration lhs, zero_t ) { return lhs.tv != 0; }
-        bool ?<? ( Duration lhs, zero_t ) { return lhs.tv <  0; }
-        bool ?<=?( Duration lhs, zero_t ) { return lhs.tv <= 0; }
-        bool ?>? ( Duration lhs, zero_t ) { return lhs.tv >  0; }
-        bool ?>=?( Duration lhs, zero_t ) { return lhs.tv >= 0; }
+        bool ?==?( Duration lhs, __attribute__((unused)) zero_t ) { return lhs.tv == 0; }
+        bool ?!=?( Duration lhs, __attribute__((unused)) zero_t ) { return lhs.tv != 0; }
+        bool ?<? ( Duration lhs, __attribute__((unused)) zero_t ) { return lhs.tv <  0; }
+        bool ?<=?( Duration lhs, __attribute__((unused)) zero_t ) { return lhs.tv <= 0; }
+        bool ?>? ( Duration lhs, __attribute__((unused)) zero_t ) { return lhs.tv >  0; }
+        bool ?>=?( Duration lhs, __attribute__((unused)) zero_t ) { return lhs.tv >= 0; }
 
         Duration abs( Duration rhs ) { return rhs.tv >= 0 ? rhs : -rhs; }
@@ -101 +101 @@
         void ?{}( timeval & t, time_t sec, suseconds_t usec ) { t.tv_sec = sec; t.tv_usec = usec; }
         void ?{}( timeval & t, time_t sec ) { t{ sec, 0 }; }
-        void ?{}( timeval & t, zero_t ) { t{ 0, 0 }; }
-
-        timeval ?=?( timeval & t, zero_t ) { return t{ 0 }; }
+        void ?{}( timeval & t, __attribute__((unused)) zero_t ) { t{ 0, 0 }; }
+
+        timeval ?=?( timeval & t, __attribute__((unused)) zero_t ) { return t{ 0 }; }
         timeval ?+?( timeval lhs, timeval rhs ) { return (timeval)@{ lhs.tv_sec + rhs.tv_sec, lhs.tv_usec + rhs.tv_usec }; }
         timeval ?-?( timeval lhs, timeval rhs ) { return (timeval)@{ lhs.tv_sec - rhs.tv_sec, lhs.tv_usec - rhs.tv_usec }; }
@@ -116 +116 @@
         void ?{}( timespec & t, time_t sec, __syscall_slong_t nsec ) { t.tv_sec = sec; t.tv_nsec = nsec; }
         void ?{}( timespec & t, time_t sec ) { t{ sec, 0}; }
-        void ?{}( timespec & t, zero_t ) { t{ 0, 0 }; }
-
-        timespec ?=?( timespec & t, zero_t ) { return t{ 0 }; }
+        void ?{}( timespec & t, __attribute__((unused)) zero_t ) { t{ 0, 0 }; }
+
+        timespec ?=?( timespec & t, __attribute__((unused)) zero_t ) { return t{ 0 }; }
         timespec ?+?( timespec lhs, timespec rhs ) { return (timespec)@{ lhs.tv_sec + rhs.tv_sec, lhs.tv_nsec + rhs.tv_nsec }; }
         timespec ?-?( timespec lhs, timespec rhs ) { return (timespec)@{ lhs.tv_sec - rhs.tv_sec, lhs.tv_nsec - rhs.tv_nsec }; }
@@ -145 +145 @@
 void ?{}( Time & time, int year, int month = 0, int day = 0, int hour = 0, int min = 0, int sec = 0, int nsec = 0 );
 static inline {
-        Time ?=?( Time & time, zero_t ) { return time{ 0 }; }
+        Time ?=?( Time & time, __attribute__((unused)) zero_t ) { return time{ 0 }; }
 
         void ?{}( Time & time, timeval t ) with( time ) { tv = (int64_t)t.tv_sec * TIMEGRAN + t.tv_usec * 1000; }

libcfa/src/time_t.hfa

@@ -24 +24 @@
 
 static inline void ?{}( Duration & dur ) with( dur ) { tv = 0; }
-static inline void ?{}( Duration & dur, zero_t ) with( dur ) { tv = 0; }
+static inline void ?{}( Duration & dur, __attribute__((unused)) zero_t ) with( dur ) { tv = 0; }
 
 
@@ -34 +34 @@
 
 static inline void ?{}( Time & time ) with( time ) { tv = 0; }
-static inline void ?{}( Time & time, zero_t ) with( time ) { tv = 0; }
+static inline void ?{}( Time & time, __attribute__((unused)) zero_t ) with( time ) { tv = 0; }
 
 // Local Variables: //