diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-11-17 13:39:06 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-11-17 13:39:06 +0100 |
commit | a3c1aed82d88df7592e63531dc8ce24482da1c28 (patch) | |
tree | fdbfde05361103f5fec701d96816c9010498a7d8 /.gitignore | |
parent | e0146901a2857e7ddaa249964cc49726c496d754 (diff) | |
download | compcert-a3c1aed82d88df7592e63531dc8ce24482da1c28.tar.gz compcert-a3c1aed82d88df7592e63531dc8ce24482da1c28.zip |
Initializers: introduce 'constval_cast' to cast constant value to desired type
This comes handy in the next commit where constval_cast is used from C2C.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions