From ed45a0947090dd9c23386d5d318ddc2662469c34 Mon Sep 17 00:00:00 2001 From: jacob-ronstadt Date: Tue, 20 Aug 2024 13:20:40 -0700 Subject: [PATCH] fix output message --- .../FloatHardwareStateProtection.ql | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/drivers/general/queries/FloatHardwareStateProtection/FloatHardwareStateProtection.ql b/src/drivers/general/queries/FloatHardwareStateProtection/FloatHardwareStateProtection.ql index ae535c70..d08cb603 100644 --- a/src/drivers/general/queries/FloatHardwareStateProtection/FloatHardwareStateProtection.ql +++ b/src/drivers/general/queries/FloatHardwareStateProtection/FloatHardwareStateProtection.ql @@ -111,5 +111,4 @@ where safeFunc = floatAccess.getEnclosingFunction()) select floatAccess, - "Use of float detected without protecting floating-point hardware state. $@, $@", floatAccess, - floatAccess.toString() + "Use of float detected without protecting floating-point hardware state"