svcomp_Velroyen_false-unreach-label-termination-alloca.c

contents

#include <stdlib.h>

int main() {
    int* x = alloca(sizeof(int));
    while (*x != 0) {
        if (-5 <= *x && *x <= 35) {
            if (*x < 0) {
                *x = -5;
            } else {
                if (*x > 30) {
                    *x = 35;
                } else {
                    *x = *x - 1;
                }
            }
        } else {
            *x = 0;
        }
    }
}

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