From c1a00f0a6b9a23fde3753735afb59b659230f302 Mon Sep 17 00:00:00 2001
From: Aveen Ismail <aveen.ismail@yubico.com>
Date: Fri, 27 Sep 2024 17:21:05 +0200
Subject: [PATCH] Fuzzer: Adjust function declaration

---
 .github/workflows/build_and_fuzz.yml | 8 ++++----
 pkcs11/util_pkcs11.c                 | 2 ++
 2 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/build_and_fuzz.yml b/.github/workflows/build_and_fuzz.yml
index adec08c9..7b45ec6f 100644
--- a/.github/workflows/build_and_fuzz.yml
+++ b/.github/workflows/build_and_fuzz.yml
@@ -1,9 +1,9 @@
 name: Build and Fuzz
 
-on:
-  schedule:
-    # Run this every wednesday at 3:50. https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#schedule
-    - cron: '50 3 * * 3'
+on: [push]
+#  schedule:
+#    # Run this every wednesday at 3:50. https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#schedule
+#    - cron: '50 3 * * 3'
 
 jobs:
   fuzz_msan:
diff --git a/pkcs11/util_pkcs11.c b/pkcs11/util_pkcs11.c
index c65b7861..d0e92e21 100644
--- a/pkcs11/util_pkcs11.c
+++ b/pkcs11/util_pkcs11.c
@@ -6092,6 +6092,7 @@ bool match_meta_attributes(yubihsm_pkcs11_session *session,
   return true;
 }
 
+#ifndef FUZZING
 static void increment_ctr(uint8_t *ctr, size_t len) {
   while (len > 0) {
     if (++ctr[--len]) {
@@ -6099,6 +6100,7 @@ static void increment_ctr(uint8_t *ctr, size_t len) {
     }
   }
 }
+#endif
 
 CK_RV ecdh_with_kdf(ecdh_session_key *shared_secret, uint8_t *fixed_info,
                     size_t fixed_len, CK_ULONG kdf, size_t value_len) {