blob: 518afaaa02e8ca7090db66e167f364d48af1ce0d [file]
#include <ptrcheck.h>
int main(void) {
int pad;
int buffer[] = {0, 1};
int pad2;
int tmp = buffer[2]; // access past upper bound
tmp = buffer[-1]; // access below lower bound
return 0;
}