Jeroen Ketema f0f66c6d58 C++: Minor refactor ...

* Introduce new instruction tag for the base size
* Introduce some convenience predicates on `VlaDeclStmt`

2025-09-02 12:29:15 +02:00

..

Block.qll

delete all deprecations that are over 14 months old

2022-03-09 18:28:07 +01:00

Stmt.qll

C++: Minor refactor

2025-09-02 12:29:15 +02:00