tests/syntax/oracle/vla_goto3.res.oracle · 8b98f21877d9596d42461128958644b859ad6ac2 · pub / frama-c · GitLab

Snippets Groups Projects

6 years ago
788d88a7
[Kernel] Fix: rejects more gotos that bypass the initialization of a VLA. · 788d88a7
David Bühler authored 6 years ago
```
Also inspects the VLA initializations of the destination block, even if it is
not a block opened by the jump.
```
788d88a7

History
[Kernel] Fix: rejects more gotos that bypass the initialization of a VLA.
David Bühler authored 6 years ago
```
Also inspects the VLA initializations of the destination block, even if it is
not a block opened by the jump.
```