Fri, 11 Jan 2013 16:47:23 -0800 8005816: Shark: fix volatile float field access
twisti [Fri, 11 Jan 2013 16:47:23 -0800] rev 15204
8005816: Shark: fix volatile float field access Reviewed-by: twisti Contributed-by: Roman Kennke <rkennke@redhat.com>
(0) -10000 -3000 -1000 -300 -100 -30 -10 -1 +1 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip