Re:Linux futex_wait() bug – update to latest patches now
by mirashii on Wednesday May 13, 2015 @11:44PM
(#9543332)
Neither of these things actually fix the problem, which is in particular the content of the default case. default: ; break; would be just as buggy.
[ Parent
| on HN ]
Re:Linux futex_wait() bug – update to latest patches now
by gpvos on Thursday May 14, 2015 @01:15AM
(#9543546)
The commit message says the code was reviewed quite thoroughly. So I think a break-only default case where the other two cases had an /* implied MB */ comment would likely have been noticed. So in this particular case, there is a fair chance that such a warning would have helped.