search

CTSRD-CHERI / clang

DO NOT USE. Use llvm-project instead
Other
9 stars 8 forks source link

stack, global, or thread local arrays should automatically promote to capabilities #188

Closed brooksdavis closed 6 years ago

brooksdavis commented 6 years ago 
char staticarray[2];
char * __capability array = staticarray;
char * __capability array2 = &staticarray[0];

The second line currently produces:

foo.c:2:29: error: converting non-capability type 'char *' to capability type
      'char * __capability' without an explicit cast; if this is intended use
      __cheri_tocap
char * __capability array = staticarray;
                            ^
                            (__cheri_tocap char * __capability)
1 error generated.