>You can only verify properties you've thought of, and no-one conceived of this particular 'feature' causing issues like this until now. I've read for years ab

>You can only verify properties you've thought of, and no-one conceived of this particular 'feature' causing issues like this until now. I've read for years about supposed insecurities with branch prediction -- it just wasn't shown practically. To say that it wasn't conceived of is a little off.