Forked from
pub / Frama Clang
808 commits behind the upstream repository.
-
Virgile Prevosto authoredVirgile Prevosto authored
array_2d_1987.cpp 55 B
int a[3][4];
int get_a12(void) {
return a[1][2];
}
int a[3][4];
int get_a12(void) {
return a[1][2];
}