Skip to content

Commit 57b5de9

Browse files
committedAug 15, 2019
enum and union are unclear
1 parent 7511eb0 commit 57b5de9

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed
 

‎reference/src/glossary.md

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -192,6 +192,9 @@ for all values `v` and lists of bytes `b` such that `v` and `b` are related at `
192192
changing `b` at index `i` to any other byte yields a `b'` such `v` and `b'` are related (`Vrel_T(v, b')`).
193193
In other words, the byte at index `i` is entirely ignored by `Vrel_T` (the value relation for `T`), and two lists of bytes that only differ in padding bytes relate to the same value(s), if any.
194194

195+
This definition works fine for structs.
196+
The desired notion of "padding byte" for enums and unions is still unclear.
197+
195198
#### Place
196199

197200
A *place* (called "lvalue" in C and "glvalue" in C++) is the result of computing a [*place expression*][place-value-expr].

0 commit comments

Comments
 (0)
Please sign in to comment.