The paper says that 2 of the 3 bugs they reported were quickly fixed, but that the remaining one (in GCC) was not fixed at the time of writing. Wonder if it's

The paper says that 2 of the 3 bugs they reported were quickly fixed, but that the remaining one (in GCC) was not fixed at the time of writing. Wonder if it's since been fixed.