If any updates have occurred, the store-conditional is guaranteed to fail, even if the value read by the load-link has since been restored.
Real implementations of LL/SC do not always succeed if there are no concurrent updates to the memory location in question.