From f32a0647c8228ddd066f5d69a85b2e49086e4c95 Mon Sep 17 00:00:00 2001 From: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com> Date: Mon, 3 Aug 2020 16:45:10 -0700 Subject: [PATCH] Remove CBMC patch which is not used anymore (#187) * Delete 0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch * Delete 0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch --- ...reeRTOS_IP_Private.h-union-to-struct.patch | 26 ------------------- ...reeRTOS_IP_Private.h-union-to-struct.patch | 26 ------------------- 2 files changed, 52 deletions(-) delete mode 100644 FreeRTOS-Plus/Test/CBMC/patches/0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch delete mode 100644 FreeRTOS/Test/CBMC/patches/0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch diff --git a/FreeRTOS-Plus/Test/CBMC/patches/0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch b/FreeRTOS-Plus/Test/CBMC/patches/0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch deleted file mode 100644 index 8e096a5a92..0000000000 --- a/FreeRTOS-Plus/Test/CBMC/patches/0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch +++ /dev/null @@ -1,26 +0,0 @@ -From b7fbcc3979324838ec240b28717bfd7918bbb388 Mon Sep 17 00:00:00 2001 -From: Kareem Khazem -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 - diff --git a/FreeRTOS/Test/CBMC/patches/0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch b/FreeRTOS/Test/CBMC/patches/0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch deleted file mode 100644 index 8e096a5a92..0000000000 --- a/FreeRTOS/Test/CBMC/patches/0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch +++ /dev/null @@ -1,26 +0,0 @@ -From b7fbcc3979324838ec240b28717bfd7918bbb388 Mon Sep 17 00:00:00 2001 -From: Kareem Khazem -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 -