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 28d3e7e commit f330065Copy full SHA for f330065
src/cil.mli
@@ -1689,7 +1689,7 @@ val increm: exp -> int -> exp
1689
val var: varinfo -> lval
1690
1691
(** Make an AddrOf. Given an lvalue of type T will give back an expression of
1692
- type ptr(T). It optimizes somewhat expressions like "& v" and "& v[0]" *)
+ type ptr(T). It optimizes somewhat expressions like "& v" and "& v\[0\]". *)
1693
val mkAddrOf: lval -> exp
1694
1695
0 commit comments