From e826286f99d0d32560e577447d60f4c6672152d3 Mon Sep 17 00:00:00 2001
From: Haydn Trigg <me@haydntrigg.com>
Date: Fri, 29 Jun 2018 13:55:06 -0400
Subject: [PATCH] Constant.cpp Floating point divide by zero
Constant.cpp will throw a floating point divide by zero if floating point exceptions are enabled in Win32 causing the program to crash. This fix manually checks the right-hand argument of the division and sets appropriate Infinity, Negative Infinity, or NAN as if the floating point exceptions were disabled.
---
glslang/MachineIndependent/Constant.cpp | 22 +++++++++++++++++++++-
1 file changed, 21 insertions(+), 1 deletion(-)
diff --git a/glslang/MachineIndependent/Constant.cpp b/glslang/MachineIndependent/Constant.cpp
index d447bff36..60a8b4368 100755
--- a/glslang/MachineIndependent/Constant.cpp
+++ b/glslang/MachineIndependent/Constant.cpp
@@ -179,7 +179,27 @@ TIntermTyped* TIntermConstantUnion::fold(TOperator op, const TIntermTyped* right
case EbtDouble:
case EbtFloat:
case EbtFloat16:
- newConstArray[i].setDConst(leftUnionArray[i].getDConst() / rightUnionArray[i].getDConst());
+ {
+ auto right = rightUnionArray[i].getDConst();
+ auto left = leftUnionArray[i].getDConst();
+
+ if (right)
+ {
+ newConstArray[i].setDConst(left / right);
+ }
+ else if (left > 0)
+ {
+ newConstArray[i].setDConst((double)INFINITY);
+ }
+ else if (left < 0)
+ {
+ newConstArray[i].setDConst((double)-INFINITY);
+ }
+ else
+ {
+ newConstArray[i].setDConst((double)NAN);
+ }
+ }
break;
case EbtInt8:
if (rightUnionArray[i] == (signed char)0)
--
GitLab