stripNoops returns a copy of the passed slice `effects`, minus any no-ops
(effects []RichCheckEffect)
| 619 | |
| 620 | // stripNoops returns a copy of the passed slice `effects`, minus any no-ops |
| 621 | func stripNoops(effects []RichCheckEffect) []RichCheckEffect { |
| 622 | var strippedEffects []RichCheckEffect |
| 623 | |
| 624 | for _, effect := range effects { |
| 625 | if !effect.isNoop() { |
| 626 | strippedEffects = append(strippedEffects, effect) |
| 627 | } |
| 628 | } |
| 629 | |
| 630 | return strippedEffects |
| 631 | } |
| 632 | |
| 633 | func genPreds(graph *cfg.CFG) [][]int32 { |
| 634 | out := make([][]int32, len(graph.Blocks)) |
no test coverage detected