coverity: Suppress some time-of-check-time-of-use reports
authorAustin Seipp <austin@well-typed.com>
Sun, 27 Apr 2014 09:19:24 +0000 (04:19 -0500)
committerAustin Seipp <austin@well-typed.com>
Sun, 27 Apr 2014 09:19:27 +0000 (04:19 -0500)
commit6d11a0e1400e44e16e0ee7734279c67619442a1d
tree7ca9f5d61e533e196065be03ede55af4d2fe561a
parent111b8454cc1b64da5b9816b89d79f44a8ae24355
coverity: Suppress some time-of-check-time-of-use reports

CID 43178

Signed-off-by: Austin Seipp <austin@well-typed.com>
rts/Linker.c