287 if (right == null && rightCst == null) { |
287 if (right == null && rightCst == null) { |
288 return null; |
288 return null; |
289 } |
289 } |
290 if ((xResidue == 0 && left != null) || (yResidue == 0 && right != null)) { |
290 if ((xResidue == 0 && left != null) || (yResidue == 0 && right != null)) { |
291 if (left == null) { |
291 if (left == null) { |
|
292 // Fortify: Suppress Null Dereference false positive |
|
293 assert leftCst != null; |
|
294 |
292 left = ConstantNode.forIntegerBits(bits, leftCst.asLong() - min); |
295 left = ConstantNode.forIntegerBits(bits, leftCst.asLong() - min); |
293 } else if (xResidue != 0) { |
296 } else if (xResidue != 0) { |
294 left = AddNode.create(left, ConstantNode.forIntegerBits(bits, xResidue), view); |
297 left = AddNode.create(left, ConstantNode.forIntegerBits(bits, xResidue), view); |
295 } |
298 } |
296 if (right == null) { |
299 if (right == null) { |
|
300 // Fortify: Suppress Null Dereference false positive |
|
301 assert rightCst != null; |
|
302 |
297 right = ConstantNode.forIntegerBits(bits, rightCst.asLong() - min); |
303 right = ConstantNode.forIntegerBits(bits, rightCst.asLong() - min); |
298 } else if (yResidue != 0) { |
304 } else if (yResidue != 0) { |
299 right = AddNode.create(right, ConstantNode.forIntegerBits(bits, yResidue), view); |
305 right = AddNode.create(right, ConstantNode.forIntegerBits(bits, yResidue), view); |
300 } |
306 } |
301 if (signed) { |
307 if (signed) { |