bounds5.c
up: index
prev: bounds4.c
next: bounds6.c
#include <stdio.h>
#include "capprint.h"
int main()
{
int x[3][1000];
fprintf(stderr,"&x: %" PTR_FMT "\n", sptr((void*)(&x)));
fprintf(stderr,"&x[0]: %" PTR_FMT "\n", sptr((void*)(&x[0])));
}
Experimental data (what does this mean?)
cerberus-cheri-no-pnvi
cerberus-cheri-revocation-no-pnvi
cerberus-cheri-cornucopia-no-pnvi &x: (@disabled, 0xffffb844 [rwRW,0xffffb844-0xffffe724])
&x[0]: (@disabled, 0xffffb844 [rwRW,0xffffb844-0xffffe724])
cerberus-cheri
cerberus-cheri-revocation
cerberus-cheri-cornucopia &x: (@81, 0xffffb844 [rwRW,0xffffb844-0xffffe724])
&x[0]: (@81, 0xffffb844 [rwRW,0xffffb844-0xffffe724])
clang-riscv-O0-bounds-very-aggressive
clang-riscv-O0-bounds-everywhere-unsafe &x: 0x3fffdfd080 [rwRW,0x3fffdfd080-0x3fffdfff60]
&x[0]: 0x3fffdfd080 [rwRW,0x3fffdfd080-0x3fffdfe020]
clang-riscv-O3-bounds-subobject-safe &x: 0x3fffdfd050 [rwRW,0x3fffdfd050-0x3fffdfff30]
&x[0]: 0x3fffdfd050 [rwRW,0x3fffdfd050-0x3fffdfff30]
clang-riscv-O3-bounds-conservative &x: 0x3fffdfd060 [rwRW,0x3fffdfd060-0x3fffdfff40]
&x[0]: 0x3fffdfd060 [rwRW,0x3fffdfd060-0x3fffdfff40]
clang-riscv-O0-bounds-conservative
clang-riscv-O0-bounds-references-only
clang-riscv-O0-bounds-subobject-safe
clang-riscv-O0-bounds-aggressive &x: 0x3fffdfd080 [rwRW,0x3fffdfd080-0x3fffdfff60]
&x[0]: 0x3fffdfd080 [rwRW,0x3fffdfd080-0x3fffdfff60]
clang-morello-O0-bounds-very-aggressive
clang-morello-O0-bounds-everywhere-unsafe &x: 0xfffffff7d070 [rwRW,0xfffffff7d070-0xfffffff7ff50]
&x[0]: 0xfffffff7d070 [rwRW,0xfffffff7d070-0xfffffff7e010]
clang-morello-O3-bounds-subobject-safe &x: 0xfffffff7d010 [rwRW,0xfffffff7d010-0xfffffff7fef0]
&x[0]: 0xfffffff7d010 [rwRW,0xfffffff7d010-0xfffffff7fef0]
clang-morello-O3-bounds-conservative &x: 0xfffffff7d040 [rwRW,0xfffffff7d040-0xfffffff7ff20]
&x[0]: 0xfffffff7d040 [rwRW,0xfffffff7d040-0xfffffff7ff20]
clang-morello-O0-bounds-conservative
clang-morello-O0-bounds-references-only
clang-morello-O0-bounds-subobject-safe
clang-morello-O0-bounds-aggressive &x: 0xfffffff7d070 [rwRW,0xfffffff7d070-0xfffffff7ff50]
&x[0]: 0xfffffff7d070 [rwRW,0xfffffff7d070-0xfffffff7ff50]
gcc-morello-O0
gcc-morello-O3 &x: 0x7fffd100 [rwRW,0x7fffd100-0x7fffffe0]
&x[0]: 0x7fffd100 [rwRW,0x7fffd100-0x7fffffe0]