From c1f526e3e53eb3a29ad71b866b67ec0c2bab5e82 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Mon, 19 Feb 2018 21:38:02 +0100 Subject: prog: mutate len fields based on hints With the new address allocation logic, the reason to not touch len has gone. --- prog/hints.go | 5 ----- 1 file changed, 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) { -- cgit mrf-deployment