On Tue, 2 Jul 2019 at 20:46, Max Reitz <[email protected]> wrote: > So it looks to me like Coverity just thinks that *extent may be used > concurrently.
Or it's just not smart enough to notice that it's assumed several mutually contradictory things... > Short of adding a “restrict”, I don’t know what to do > this but to close the report as a false positive. OK; I'll mark it a false positive. thanks -- PMM
