Open
Description
Fix len handling.
NilAway understands and supports this case:
func foo(args []string) {
for i := 0; i < len(args); i++ {
_ = args[i]
}
}
func test() {
foo(nil)
}
But it is not encoded to understand operations on len , like len(x)-1 :
func foo(args []string) {
for i := 0; i < len(args)-1; i++ { // `len(args) - 1` is not understood by NilAway
_ = args[i] // FP here
}
}
func test() {
foo(nil)
}
Metadata
Metadata
Assignees
Labels
No labels