Handle Negation of Booleans

Issue #54 new
Michael Eichberg
repo owner created an issue

The negation of booleans (boolean b = false; !b) is always implemented using an if-else statement. Hence, if the boolean value is known an dead path is reported though there is no real dead path (from the Java Code Perspective)

Comments (4)

  1. Log in to comment