aboutsummaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2015-10-23 11:06:11 +0200
committerBernhard Schommer <bernhardschommer@gmail.com>2015-10-23 11:06:11 +0200
commit1cb3d93ff278ebbd0c6967c5f9401a97f9b618b4 (patch)
treeebfbcdf2a931b82393f11d5cf538c76170678e3b /.gitignore
parent5111bce03766251ffde8cd3d29a315c3c7c64364 (diff)
downloadcompcert-kvx-1cb3d93ff278ebbd0c6967c5f9401a97f9b618b4.tar.gz
compcert-kvx-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 '.gitignore')
0 files changed, 0 insertions, 0 deletions