Update uncrustify.cfg, format and use ci to check

Author: scribam

.github/workflows/uncrustify.yml

@@ -0,0 +1,26 @@
+name: Uncrustify
+
+on: [ push, pull_request ]
+
+jobs:
+  uncrustify:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v6
+
+      - name: Install uncrustify
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y uncrustify
+
+      - name: Check formatting
+        run: |
+          find . \( -name '*.c' -o -name '*.h' \) -print0 | while IFS= read -r -d '' file; do
+            uncrustify -c uncrustify.cfg --no-backup "$file"
+          done
+
+          if ! git diff --exit-code; then
+            echo "Formatting check failed. Please run uncrustify locally."
+            exit 1
+          fi

include/arch/pico_arm9.h

@@ -30,6 +30,6 @@ static inline unsigned long PICO_TIME_MS(void)
 static inline void PICO_IDLE(void)
 {
     unsigned long tick_now = __str9_tick;
-    while(tick_now == __str9_tick) ;
+    while (tick_now == __str9_tick);
 }
 

include/arch/pico_atsamd21j18.h

@@ -34,7 +34,7 @@ static inline void sam_dbg(const char *format, ...)
     print_uart(msg);
 }
 
-//#define dbg sam_dbg
+/*#define dbg sam_dbg */
 #define dbg(...) do { } while(0)
 
 extern volatile uint32_t sam_tick;
@@ -56,6 +56,6 @@ static inline unsigned long PICO_TIME_MS(void)
 static inline void PICO_IDLE(void)
 {
     unsigned long tick_now = sam_tick;
-    while(tick_now == sam_tick) ;
+    while (tick_now == sam_tick);
 }
 

include/arch/pico_avr.h

@@ -34,6 +34,6 @@ static inline unsigned long PICO_TIME_MS(void)
 static inline void PICO_IDLE(void)
 {
     unsigned long tick_now = __avr_tick;
-    while(tick_now == __avr_tick) ;
+    while (tick_now == __avr_tick);
 }
 

include/arch/pico_esp8266.h

@@ -19,16 +19,16 @@
 #define dbg             printf
 
 /* -------------- MEMORY ------------- */
-extern void *pvPortMalloc( size_t xWantedSize );
-extern void vPortFree( void *pv );
+extern void *pvPortMalloc(size_t xWantedSize);
+extern void vPortFree(void *pv);
 
 #define pico_free   vPortFree
 
 static inline void *pico_zalloc(size_t size)
 {
     void *ptr = (void *)pvPortMalloc(size);
 
-    if(ptr)
+    if (ptr)
         memset(ptr, 0u, size);
 
     return ptr;

include/arch/pico_generic_gcc.h

@@ -29,8 +29,8 @@ extern volatile unsigned int pico_ms_tick;
 extern void *pico_mutex_init(void);
 extern void pico_mutex_lock(void*);
 extern void pico_mutex_unlock(void*);
-extern void *pvPortMalloc( size_t xSize );
-extern void vPortFree( void *pv );
+extern void *pvPortMalloc(size_t xSize);
+extern void vPortFree(void *pv);
 
     #define pico_free(x) vPortFree(x)
     #define free(x)      vPortFree(x)
@@ -39,7 +39,7 @@ static inline void *pico_zalloc(size_t size)
 {
     void *ptr = pvPortMalloc(size);
 
-    if(ptr)
+    if (ptr)
         memset(ptr, 0u, size);
 
     return ptr;
@@ -53,25 +53,25 @@ extern int32_t prescale_time;
 static inline pico_time PICO_TIME_MS()
 {
     #ifdef TIME_PRESCALE
-        return pico_ms_tick << prescale_time;
+    return pico_ms_tick << prescale_time;
     #else
-        return pico_ms_tick;
+    return pico_ms_tick;
     #endif
 }
 
 static inline pico_time PICO_TIME()
 {
     #ifdef TIME_PRESCALE
-        return (pico_ms_tick / 1000) << prescale_time;
+    return (pico_ms_tick / 1000) << prescale_time;
     #else
-        return (pico_ms_tick / 1000);
+    return (pico_ms_tick / 1000);
     #endif
 }
 
 static inline void PICO_IDLE(void)
 {
     pico_time now = PICO_TIME_MS();
-    while(now == PICO_TIME_MS()) ;
+    while (now == PICO_TIME_MS());
 }
 
 #else /* NO RTOS SUPPORT */
@@ -88,7 +88,7 @@ extern void memmeas_free(void *);
 static inline void *pico_zalloc(size_t size)
 {
     void *ptr = malloc(size);
-    if(ptr)
+    if (ptr)
         memset(ptr, 0u, size);
 
     return ptr;
@@ -108,7 +108,7 @@ static inline pico_time PICO_TIME(void)
 static inline void PICO_IDLE(void)
 {
     unsigned int now = pico_ms_tick;
-    while(now == pico_ms_tick) ;
+    while (now == pico_ms_tick);
 }
 
 #endif /* IFNDEF RTOS */

include/arch/pico_mbed.h

@@ -26,8 +26,8 @@
 #define dbg(...)
 
 /*
-   #define MEMORY_MEASURE
-   #define JENKINS_DEBUG
+ #define MEMORY_MEASURE
+ #define JENKINS_DEBUG
  */
 
 /* Intended for Mr. Jenkins endurance test loggings */
@@ -80,7 +80,7 @@ static inline void *pico_zalloc(int x)
     #ifdef JENKINS_DEBUG
     if (!stats) {
         jenkins_dbg(">> OUT OF MEM\n");
-        while(1) ;
+        while (1);
         ;
     }
 
@@ -106,7 +106,7 @@ static inline void pico_free(void *x)
     #ifdef MEMORY_MEASURE_ADV
     if ((stats->signature != 0xdeadbeef) || (x != stats->mem)) {
         jenkins_dbg(">> FREE ERROR: caller is %p\n", __builtin_return_address(0));
-        while(1) ;
+        while (1);
         ;
     }
 

include/arch/pico_msp430.h

@@ -27,7 +27,7 @@ static inline void *pico_zalloc(size_t size)
 {
     void *ptr = malloc(size);
 
-    if(ptr)
+    if (ptr)
         memset(ptr, 0u, size);
 
     return ptr;

include/arch/pico_pic24.h

@@ -20,9 +20,9 @@
 #endif
 
 /*
-   #ifndef __PIC24FJ256GA106__
-   #define __PIC24FJ256GA106__
-   #endif
+ #ifndef __PIC24FJ256GA106__
+ #define __PIC24FJ256GA106__
+ #endif
  */
 
 #ifndef PICO_MAX_SOCKET_FRAMES
@@ -59,7 +59,7 @@ static inline void pico_free(void *tgt)
 # define pico_free(x) free(x)
 #endif
 
-extern void *pvPortMalloc( size_t xWantedSize );
+extern void *pvPortMalloc(size_t xWantedSize);
 extern volatile pico_time __pic24_tick;
 
 static inline unsigned long PICO_TIME(void)
@@ -94,7 +94,7 @@ static inline void PICO_IDLE(void)
     TIMBASE_INT_E = 1;
     /* Doesn't matter that this call isn't interrupt safe, */
     /* we just check for the value to change */
-    while(tick_now == __pic24_tick) ;
+    while (tick_now == __pic24_tick);
 }
 
 #endif

include/arch/pico_pic32.h

@@ -28,7 +28,7 @@ extern volatile unsigned int pico_ms_tick;
 static inline void *pico_zalloc(size_t size)
 {
     void *ptr = malloc(size);
-    if(ptr)
+    if (ptr)
         memset(ptr, 0u, size);
 
     return ptr;
@@ -47,7 +47,7 @@ static inline pico_time PICO_TIME(void)
 static inline void PICO_IDLE(void)
 {
     unsigned int now = pico_ms_tick;
-    while(now == pico_ms_tick) ;
+    while (now == pico_ms_tick);
 }
 
 #endif  /* PICO_PIC32 */