diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-02-19 21:38:02 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-02-19 21:48:20 +0100 |
| commit | c1f526e3e53eb3a29ad71b866b67ec0c2bab5e82 (patch) | |
| tree | 269a69cd1fb97f843f8b105d770d4a1230852c7a | |
| parent | 4b696a5daf040e6930be366eb66ab28401788932 (diff) | |
prog: mutate len fields based on hints
With the new address allocation logic,
the reason to not touch len has gone.
| -rw-r--r-- | prog/hints.go | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/prog/hints.go b/prog/hints.go index 88cb6b029..d9198854b 100644 --- a/prog/hints.go +++ b/prog/hints.go @@ -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) { |