We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 7a542cb commit 1cb2027Copy full SHA for 1cb2027
llvm/docs/UndefinedBehavior.rst
@@ -22,7 +22,8 @@ guarantees through the language type system or the runtime).
22
For example, we could specify the result of division by zero as zero, but
23
since we are not really interested in the result, we say it is UB.
24
25
-There exist two forms of undefined behaviour in LLVM: immediate UB and deferred UB. The latter comes in two flavours: undef and poison values.
+There exist two forms of undefined behaviour in LLVM: immediate UB and deferred UB.
26
+The latter comes in two flavours: undef and poison values.
27
The lattice of values in LLVM is:
28
immediate UB > poison > undef > freeze > concrete value.
29
0 commit comments