YosysHQ / yosys

Yosys Open SYnthesis Suite
https://yosyshq.net/yosys/
ISC License
3.3k stars 860 forks source link

formalff -setundef: Fix handling for has_srst FFs #4338

Closed jix closed 2 months ago

jix commented 2 months ago

The has_srst case was checking sig_ce instead of sig_srst due to a copy and paste error.

This would crash when has_ce was false and could incorrectly determine that an initial value is unused when has_ce and has_srst are both set.