alloca is a malloc on the stack. (used by CIL for variable length arrays)
alloca is a malloc on the stack. (used by CIL for variable length arrays)

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer