volatile4 « Results « regression « test - compcert - CompCert fork with minor modifications for Vericert.

about summary refs log tree commit diff stats

path: root/test/regression/Results/volatile4

blob: e00651deade1bfe3ec3d3587ddb46e9cfec55fd8 (plain)

l = 42
a[5] = 255
g = 3
b[2] = -1
b[i] = -2
p[1] = 80
p[i] = 81