monocul.us/de4dot-cex
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add (uint) casts to prevent long temp values

Browse Source
This commit is contained in:
de4dot 2013-10-17 19:26:06 +02:00
parent ae408ab6eb
commit 78196ffeee
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
de4dot.blocks/cflow/Int32Value.cs
View File

@ -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;
}