ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
mbed-os/rtos/source
History
Hugues Kamba a562841992 Cast void pointer before deallocating with delete[] 
The stack memory is a `void*` which creates a warning when using
the `delete[]` operator because it is unable to call the destructor of
of an unknown object type.
 		2019-09-03 10:52:31 +01:00
..
TARGET_CORTEX Move TARGET directories to source 2019-08-08 11:59:16 +01:00
ConditionVariable.cpp Drivers/Events/RTOS Public and internal APIs cleanup (#10955) 2019-08-02 12:23:47 +01:00
EventFlags.cpp Drivers/Events/RTOS Public and internal APIs cleanup (#10955) 2019-08-02 12:23:47 +01:00
Kernel.cpp Drivers/Events/RTOS Public and internal APIs cleanup (#10955) 2019-08-02 12:23:47 +01:00
Mutex.cpp Mutex: _count incrementation brought back 2019-08-27 14:18:41 +02:00
RtosTimer.cpp Drivers/Events/RTOS Public and internal APIs cleanup (#10955) 2019-08-02 12:23:47 +01:00
Semaphore.cpp Drivers/Events/RTOS Public and internal APIs cleanup (#10955) 2019-08-02 12:23:47 +01:00
ThisThread.cpp Drivers/Events/RTOS Public and internal APIs cleanup (#10955) 2019-08-02 12:23:47 +01:00
Thread.cpp Cast void pointer before deallocating with delete[] 2019-09-03 10:52:31 +01:00
rtos_handlers.h Change Doxygen groups structure, splitting first by Public/Internal (#11105) 2019-08-02 12:23:47 +01:00
rtos_idle.h Change Doxygen groups structure, splitting first by Public/Internal (#11105) 2019-08-02 12:23:47 +01:00