diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-23 11:06:11 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-23 11:06:11 +0200 |
commit | 1cb3d93ff278ebbd0c6967c5f9401a97f9b618b4 (patch) | |
tree | ebfbcdf2a931b82393f11d5cf538c76170678e3b /arm/Machregs.v | |
parent | 5111bce03766251ffde8cd3d29a315c3c7c64364 (diff) | |
download | compcert-1cb3d93ff278ebbd0c6967c5f9401a97f9b618b4.tar.gz compcert-1cb3d93ff278ebbd0c6967c5f9401a97f9b618b4.zip |
Added special treatment for large stack size for ppc.
Since the stacksize is casted to signed int in the alloc frame
function large stacksize lead to assembler containing overflows.
Bug 17473.
Diffstat (limited to 'arm/Machregs.v')
0 files changed, 0 insertions, 0 deletions