source: src/Clight/test/string.c @ 779

Last change on this file since 779 was 485, checked in by campbell, 10 years ago

Fix treatment of pointers in initialisation data, a little like later versions
of CompCert?. Remove obsolete Init_pointer.

File size: 130 bytes
Line 
1char *s = "Hello, world!";
2
3int main(void) {
4  char *t;
5  int i = 0;
6  for (t = s; *t; t++)
7    i = (i + *t) % 128;
8  return i;
9}
Note: See TracBrowser for help on using the repository browser.