From 78196ffeee66e3dd94fe1ce2642ab395fc2cd137 Mon Sep 17 00:00:00 2001 From: de4dot Date: Thu, 17 Oct 2013 19:26:06 +0200 Subject: [PATCH] Add (uint) casts to prevent long temp values --- de4dot.blocks/cflow/Int32Value.cs | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/de4dot.blocks/cflow/Int32Value.cs b/de4dot.blocks/cflow/Int32Value.cs index 32fe2cae..bb838288 100644 --- a/de4dot.blocks/cflow/Int32Value.cs +++ b/de4dot.blocks/cflow/Int32Value.cs @@ -81,7 +81,7 @@ namespace de4dot.blocks.cflow { } public bool IsNonZero() { - return (Value & ValidMask) != 0; + return ((uint)Value & ValidMask) != 0; } public bool HasValue(int value) { @@ -589,7 +589,7 @@ namespace de4dot.blocks.cflow { return a.Value == b.Value ? Bool3.True : Bool3.False; if (ReferenceEquals(a, b)) return Bool3.True; - if ((a.Value & a.ValidMask & b.ValidMask) != (b.Value & a.ValidMask & b.ValidMask)) + if (((uint)a.Value & a.ValidMask & b.ValidMask) != ((uint)b.Value & a.ValidMask & b.ValidMask)) return Bool3.False; return Bool3.Unknown; } @@ -599,7 +599,7 @@ namespace de4dot.blocks.cflow { return a.Value != b.Value ? Bool3.True : Bool3.False; if (ReferenceEquals(a, b)) return Bool3.False; - if ((a.Value & a.ValidMask & b.ValidMask) != (b.Value & a.ValidMask & b.ValidMask)) + if (((uint)a.Value & a.ValidMask & b.ValidMask) != ((uint)b.Value & a.ValidMask & b.ValidMask)) return Bool3.True; return Bool3.Unknown; } @@ -687,7 +687,7 @@ namespace de4dot.blocks.cflow { public static Bool3 CompareTrue(Int32Value a) { if (a.AllBitsValid()) return a.Value != 0 ? Bool3.True : Bool3.False; - if ((a.Value & a.ValidMask) != 0) + if (((uint)a.Value & a.ValidMask) != 0) return Bool3.True; return Bool3.Unknown; } @@ -695,7 +695,7 @@ namespace de4dot.blocks.cflow { public static Bool3 CompareFalse(Int32Value a) { if (a.AllBitsValid()) return a.Value == 0 ? Bool3.True : Bool3.False; - if ((a.Value & a.ValidMask) != 0) + if (((uint)a.Value & a.ValidMask) != 0) return Bool3.False; return Bool3.Unknown; }