prog: mutate len fields based on hints

With the new address allocation logic,
the reason to not touch len has gone.
This commit is contained in:
Dmitry Vyukov 2018-02-19 21:38:02 +01:00
parent 4b696a5daf
commit c1f526e3e5

View File

@ -92,11 +92,6 @@ func generateHints(p *Prog, compMap CompMap, c *Call, arg Arg, exec func()) {
case *CsumType:
// Csum will not pass validation and is always computed.
return
case *LenType:
// Mutating len type causes panics during mmap/mremap analysis:
// panic: address is out of bounds: page=7 len=34359738367 bound=4096
// We can mutate len theoretically, but we need to be careful.
return
}
switch a := arg.(type) {