Detectable by gcc -Wlogical-op. Add two regression test cases that would previously allow incorrect values to pass.
