svcomp_Urban-2013WST-Fig2_true-alloca.c

contents

#include <stdlib.h>

int main() {
    int* x1 = alloca(sizeof(int));
    int* x2 = alloca(sizeof(int));
    while (*x1 <= 10) {
        *x2 = 10;
        while (*x2 > 1) {
            *x2 = *x2 - 1;
        }
        *x1 = *x1 + 1;
    }
}

content may be truncated. 'popout' for larger text window.