diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-06-12 12:15:28 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-07-04 22:14:58 +0100 |
| commit | 7e539abde7f8149287d8232500b622070bb241b9 (patch) | |
| tree | 6380fbea4d8a998ee740d4a09766d78c112f23a5 /include | |
| parent | a038e4b651434dc57ef355625e7bf7364ded0b5d (diff) | |
| download | klee-7e539abde7f8149287d8232500b622070bb241b9.tar.gz | |
Fix uninitialized memory: enums have to be initialized
Diffstat (limited to 'include')
| -rw-r--r-- | include/expr/Lexer.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/expr/Lexer.h b/include/expr/Lexer.h index 9319b487..290d59eb 100644 --- a/include/expr/Lexer.h +++ b/include/expr/Lexer.h @@ -70,6 +70,8 @@ namespace expr { // dump - Dump the token to stderr. void dump(); + + Token() : kind(Unknown), start(nullptr) {} }; /// Lexer - Interface for lexing tokens from a .kquery language file. |