Initializers cannot use other global vars in c frontend

ftsrg / theta

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

http://theta.inf.mit.bme.hu/

Apache License 2.0

49 stars 43 forks source link

Initializers cannot use other global vars in c frontend #266

Open leventeBajczi opened 7 months ago

leventeBajczi commented 7 months ago

Example: /sv-benchmarks/c/hardness-nfm22/hardness_variablewrapping_wrapper-p_file-0.i

double var_1_1 = 25.8;
double* var_1_1_Pointer = &(var_1_1);

throws

java.lang.RuntimeException: No such variable: var_1_1
    at hu.bme.mit.theta.frontend.transformation.grammar.expression.ExpressionVisitor.getVar(ExpressionVisitor.java:115)