search

replimoc / compiler

8 stars 0 forks source link

Firm Graph Generation crashes on return x == 42 #175

Closed andreas-eberle closed 9 years ago

andreas-eberle commented 9 years ago

Example code:

public boolean test(int x) { return x == 42; }
norman465 commented 9 years ago

Fixed with 7c7962b4136cb857ced622f55c1514ccf6e0b677.