Mirrors_Framework/FreeRTOS
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS.git synced 2025-12-19 01:55:28 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Remove CBMC patch which is not used anymore (#187)

Browse Source 
* Delete 0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch

* Delete 0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch
This commit is contained in:
Aniruddha Kanhere
2020-08-03 16:45:10 -07:00
committed by GitHub
parent 08af68ef90
commit f32a0647c8
2 changed files with 0 additions and 52 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
FreeRTOS-Plus/Test/CBMC/patches/0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch
View File

@@ -1,26 +0,0 @@
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

26
FreeRTOS/Test/CBMC/patches/0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch
View File

@@ -1,26 +0,0 @@
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