I have following code:
// It will never happen that a && b
unique if (a) begin
end else if (b) begin
end else begin end // Silence the warning and do nothing
On default xeleb (-O2) it results in warnings that none of the conditions were true. On -O0 it is fine.