mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-10-16 09:47:44 -04:00
d95624c5d6
* move CBMC proofs to FreeRTOS+ directory * Failing proofs corrected * ParseDNSReply proof added back * removed queue_init.h from -Plus/Test Co-authored-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
26 lines
1 KiB
Diff
26 lines
1 KiB
Diff
From b7fbcc3979324838ec240b28717bfd7918bbb388 Mon Sep 17 00:00:00 2001
|
|
From: Kareem Khazem <karkhaz@amazon.com>
|
|
Date: Thu, 31 Jan 2019 15:07:52 -0800
|
|
Subject: [PATCH 2/4] Change FreeRTOS_IP_Private.h union to struct
|
|
|
|
This patch should be removed soon: It is for a CBMC issue being fixed now.
|
|
---
|
|
libraries/freertos_plus/standard/freertos_plus_tcp/include/FreeRTOS_IP_Private.h | 2 +-
|
|
1 file changed, 1 insertion(+), 1 deletion(-)
|
|
|
|
diff --git a/FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP/include/FreeRTOS_IP_Private.h b/FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP/include/FreeRTOS_IP_Private.h
|
|
index 6006f89f0..d1a0cf898 100644
|
|
--- a/FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP/include/FreeRTOS_IP_Private.h
|
|
+++ b/FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP/include/FreeRTOS_IP_Private.h
|
|
@@ -643,7 +643,7 @@ typedef struct XSOCKET
|
|
/* Before accessing any member of this structure, it should be confirmed */
|
|
/* that the protocol corresponds with the type of structure */
|
|
|
|
- union
|
|
+ struct
|
|
{
|
|
IPUDPSocket_t xUDP;
|
|
#if( ipconfigUSE_TCP == 1 )
|
|
--
|
|
2.21.0
|
|
|