diff --git a/docs/LangRef.html b/docs/LangRef.html index 3a2c65961c3..982614f3ddf 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -2337,7 +2337,7 @@ has undefined behavior.

behavior.

There is currently no way of representing a trap value in the IR; they - only exist when produced by instructions such as + only exist when produced by operations such as add with the nsw flag.

Trap value behavior is defined in terms of value dependence: