diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-06 09:49:50 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-06 09:49:50 +0200 |
commit | fecf2472ee5c2f6da25eb1ea340e0f07dcdaec69 (patch) | |
tree | 5bbe7afa05895ba7857b86e7c5d7d40c29076e1b /ia32/Machregsaux.ml | |
parent | 67c58f9ee025fb2fc0de6d932366b7e5db7a6678 (diff) | |
download | compcert-fecf2472ee5c2f6da25eb1ea340e0f07dcdaec69.tar.gz compcert-fecf2472ee5c2f6da25eb1ea340e0f07dcdaec69.zip |
Regression: compile-time evaluation of ((struct s *)0)->field
This somewhat useful idiom was broken when Val.add was replaced by Val.offset_ptr in the Efield case. This commit restores the previous behavior.
This used to be supported (and is useful
Diffstat (limited to 'ia32/Machregsaux.ml')
0 files changed, 0 insertions, 0 deletions