Bug fix: infinite loop in cparser/ on bit field of size 32 bits.
Algorithmic efficiency: in cparser/, precompute sizeof and alignof of composites. Code cleanup: introduced Cutil.composite_info_{def,decl} git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1312 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Showing
- cfrontend/C2Clight.ml 2 additions, 4 deletionscfrontend/C2Clight.ml
- cparser/Bitfields.ml 1 addition, 1 deletioncparser/Bitfields.ml
- cparser/Cutil.ml 28 additions, 37 deletionscparser/Cutil.ml
- cparser/Cutil.mli 5 additions, 0 deletionscparser/Cutil.mli
- cparser/Elab.ml 5 additions, 6 deletionscparser/Elab.ml
- cparser/Env.ml 3 additions, 2 deletionscparser/Env.ml
- cparser/Env.mli 4 additions, 3 deletionscparser/Env.mli
- cparser/StructAssign.ml 1 addition, 1 deletioncparser/StructAssign.ml
- cparser/Transform.ml 3 additions, 4 deletionscparser/Transform.ml
- test/regression/Makefile 1 addition, 1 deletiontest/regression/Makefile
Loading
Please register or sign in to comment