Changeset efc171d1


Ignore:
Timestamp:
Jul 16, 2020, 5:27:50 PM (4 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
527acfc
Parents:
cf48a14
Message:

Fixed several concurrency warnings

Location:
libcfa/src/concurrency
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • libcfa/src/concurrency/iocall.cfa

    rcf48a14 refc171d1  
    346346}
    347347
     348// Forward declare in case it is not supported
     349struct statx;
    348350int cfa_statx(int dirfd, const char *pathname, int flags, unsigned int mask, struct statx *statxbuf) {
    349351        #if !defined(HAVE_LINUX_IO_URING_H) || !defined(IORING_OP_STATX)
  • libcfa/src/concurrency/kernel.cfa

    rcf48a14 refc171d1  
    735735void __unpark(  struct __processor_id_t * id, $thread * thrd __cfaabi_dbg_ctx_param2 ) {
    736736        // record activity
    737         __cfaabi_dbg_debug_do( char * old_caller = thrd->unpark_caller; )
    738737        __cfaabi_dbg_record_thrd( *thrd, false, caller );
    739738
  • libcfa/src/concurrency/kernel_private.hfa

    rcf48a14 refc171d1  
    3636}
    3737
    38 void __schedule_thread( struct __processor_id_t *, $thread * ) __attribute__((nonnull (2)));
     38void __schedule_thread( struct __processor_id_t *, $thread * )
     39#if defined(NDEBUG) || (!defined(__CFA_DEBUG__) && !defined(__CFA_VERIFY__))
     40        __attribute__((nonnull (2)))
     41#endif
     42;
    3943
    4044//Block current thread and release/wake-up the following resources
Note: See TracChangeset for help on using the changeset viewer.