Re: [PATCH v2 1/6] osdep.h: Drop no-longer-needed Coverity workarounds

[Richard Henderson]

On 3/19/20 12:33 PM, Peter Maydell wrote:
> In commit a1a98357e3fd in 2018 we added some workarounds for Coverity
> not being able to handle the _Float* types introduced by recent
> glibc.  Newer versions of the Coverity scan tools have support for
> these types, and will fail with errors about duplicate typedefs if we
> have our workaround.  Remove our copy of the typedefs.
> 
> Signed-off-by: Peter Maydell <address@hidden>

Reviewed-by: Richard Henderson <address@hidden>

r~