From 421866e55b2b106321b62f8c39d8d0582cd7dab2 Mon Sep 17 00:00:00 2001
From: Jeroen Ketema <jketema@github.com>
Date: Tue, 6 Jan 2026 16:23:19 +0100
Subject: [PATCH] Floating point decimal support has been removed from CodeQL

---
 c/common/src/codingstandards/c/Extensions.qll | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/c/common/src/codingstandards/c/Extensions.qll b/c/common/src/codingstandards/c/Extensions.qll
index 4f16a1f09a..dc2618d5ba 100644
--- a/c/common/src/codingstandards/c/Extensions.qll
+++ b/c/common/src/codingstandards/c/Extensions.qll
@@ -120,12 +120,7 @@ class CTerseTernaryExtension extends CCompilerExtension, ConditionalExpr {
 // Reference: https://gcc.gnu.org/onlinedocs/gcc/_005f_005fint128.html#g_t_005f_005fint128
 // Reference: https://gcc.gnu.org/onlinedocs/gcc/Decimal-Float.html#Decimal-Float
 class CRealTypeExtensionExtension extends CCompilerExtension, DeclarationEntry {
-  CRealTypeExtensionExtension() {
-    getType() instanceof Decimal128Type or
-    getType() instanceof Decimal32Type or
-    getType() instanceof Decimal64Type or
-    getType() instanceof Float128Type
-  }
+  CRealTypeExtensionExtension() { getType() instanceof Float128Type }
 
   override string getMessage() {
     result = "Decimal floats are a compiler extension and are not portable to other compilers."