RIOT-OS/RIOT
RIOT-OS/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
Code Releases Activity

sys/net/gnrc_sock: assume timeout is feasible

Browse Source 
When not implementing the timeout feature, add an `assume()` that there
is no timeout. Otherwise things break at runtime and are hard to debug.
This commit is contained in:
Marian Buschsieweke 2023-12-06 13:48:27 +01:00
parent 8f01dbfecb
commit d160a78ecc
No known key found for this signature in database
GPG Key ID: 77AA882EC78084E6
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
sys/net/gnrc/sock/gnrc_sock.c
View File

@ -17,13 +17,14 @@
#include <errno.h>
#include <stdlib.h>
#include "compiler_hints.h"
#include "log.h"
#include "net/af.h"
#include "net/ipv6/hdr.h"
#include "net/gnrc/ipv6.h"
#include "net/gnrc/ipv6/hdr.h"
#include "net/gnrc/netreg.h"
#include "net/gnrc/tx_sync.h"
#include "net/ipv6/hdr.h"
#include "net/udp.h"
#include "utlist.h"
#if IS_USED(MODULE_ZTIMER_USEC)
@ -140,6 +141,8 @@ ssize_t gnrc_sock_recv(gnrc_sock_reg_t *reg, gnrc_pktsnip_t **pkt_out,
timeout_timer.arg = reg;
xtimer_set(&timeout_timer, timeout);
}
#else
assume((timeout == SOCK_NO_TIMEOUT) || (timeout == 0));
#endif
if (timeout != 0) {
#if defined(DEVELHELP) && IS_ACTIVE(SOCK_HAS_ASYNC)