diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-02-22 19:31:08 +0000 |
---|---|---|
committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-02-22 19:31:08 +0000 |
commit | c75ee65f632d7ee0e810a612ea100aa1b0e3f418 (patch) | |
tree | ce78855f26e62686b8fa25ea80253a7e42e97279 /.travis | |
parent | 4d57a5a829124106a4ef81e5131a50d1e7caed7f (diff) | |
download | klee-c75ee65f632d7ee0e810a612ea100aa1b0e3f418.tar.gz |
Make the declaration of ``ConstantExpr`` the last declared ``Expr``
sub-class rather than the first. Whilst I'm here clang-format the moved code. The motivation for this is that ``ConstantExpr`` may need to refer to a type that cannot be forward declared (e.g. some kind of enum) in the other ``Expr`` sub-classes. For example if an Expr sub-class is ever introduced that has contains an enum that is used for its constructor then the previous ordering would prevent a Constant evaluation method (e.g. ``ConstantExpr::MyNewExprType(const ref<ConstantExpr> &RHS, MyNewType::SpecialEnum p)``) from being implemented because the ``MyNewType::SpecialEnum`` type has not yet been declared.
Diffstat (limited to '.travis')
0 files changed, 0 insertions, 0 deletions