source: CIVL/examples/possibleBug/undefinedVar.cvl@ b7c275f

#include <stdio.h>

void fun(double *a){
        *a = *a + 1;
}

int main(){
        double Jb;
    fun(&Jb);
    return 0;
}