cancel
Showing results for 
Show  only  | Search instead for 
Did you mean: 
Highlighted
Adventurer
Adventurer
1,781 Views
Registered: ‎05-12-2017

xeleb overoptimizes unique if with empty branch resulting in warnings under xsim

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.

0 Kudos
0 Replies