From 8aa7af3fd56420acc99661c6fe0e49a5a41f2765 Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Thu, 13 Oct 2022 12:36:18 -0400
Subject: [PATCH] Resolved VF parser error: VF does not support attribute
 `used`.

---
 portable/ThirdParty/GCC/RP2040/include/portmacro.h | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/portable/ThirdParty/GCC/RP2040/include/portmacro.h b/portable/ThirdParty/GCC/RP2040/include/portmacro.h
index 56def3c99..7bbf05ab0 100644
--- a/portable/ThirdParty/GCC/RP2040/include/portmacro.h
+++ b/portable/ThirdParty/GCC/RP2040/include/portmacro.h
@@ -77,7 +77,13 @@
     #define portSTACK_GROWTH      ( -1 )
     #define portTICK_PERIOD_MS    ( ( TickType_t ) 1000 / configTICK_RATE_HZ )
     #define portBYTE_ALIGNMENT    8
-    #define portDONT_DISCARD      __attribute__( ( used ) )
+    #ifdef VERIFAST
+        /* Reason for rewrite: VeriFast does not support the attriibute `used`. 
+         */
+        #define portDONT_DISCARD    
+    #else
+        #define portDONT_DISCARD      __attribute__( ( used ) )
+    #endif
     /* We have to use PICO_DIVIDER_DISABLE_INTERRUPTS as the source of truth rathern than our config,
      * as our FreeRTOSConfig.h header cannot be included by ASM code - which is what this affects in the SDK */
     #define portUSE_DIVIDER_SAVE_RESTORE !PICO_DIVIDER_DISABLE_INTERRUPTS