diff options
author | ZyX <kp-pav@yandex.ru> | 2017-10-16 09:06:05 +0300 |
---|---|---|
committer | ZyX <kp-pav@yandex.ru> | 2017-10-16 09:06:05 +0300 |
commit | c9f511d24a64da135bef4b9874c7bec04d9330e4 (patch) | |
tree | 4918877e0c09450e480f78b85aa55c1de20ca0e6 | |
parent | 8e856ebcd0357c8782d6825a233a5c800475f396 (diff) | |
download | rneovim-c9f511d24a64da135bef4b9874c7bec04d9330e4.tar.gz rneovim-c9f511d24a64da135bef4b9874c7bec04d9330e4.tar.bz2 rneovim-c9f511d24a64da135bef4b9874c7bec04d9330e4.zip |
viml/parser/expressions: Remove unused flag
-rw-r--r-- | src/nvim/viml/parser/expressions.h | 4 | ||||
-rw-r--r-- | test/symbolic/klee/viml_expressions_parser.c | 7 |
2 files changed, 3 insertions, 8 deletions
diff --git a/src/nvim/viml/parser/expressions.h b/src/nvim/viml/parser/expressions.h index 025f0f766e..d783518b3a 100644 --- a/src/nvim/viml/parser/expressions.h +++ b/src/nvim/viml/parser/expressions.h @@ -314,10 +314,6 @@ enum { /// When parsing expressions input by user bar is assumed to be a binary /// operator and other two are spacings. kExprFlagsDisallowEOC = (1 << 1), - /// Print errors when encountered - /// - /// Without the flag they are only taken into account when parsing. - kExprFlagsPrintError = (1 << 2), // WARNING: whenever you add a new flag, alter klee_assume() statement in // viml_expressions_parser.c. } ExprParserFlags; diff --git a/test/symbolic/klee/viml_expressions_parser.c b/test/symbolic/klee/viml_expressions_parser.c index 8f015ae9a7..9448937430 100644 --- a/test/symbolic/klee/viml_expressions_parser.c +++ b/test/symbolic/klee/viml_expressions_parser.c @@ -35,7 +35,7 @@ int main(const int argc, const char *const *const argv, { char input[INPUT_SIZE]; uint8_t shift; - int flags; + unsigned flags; const bool peek = false; avoid_optimizing_out = argc; @@ -48,8 +48,7 @@ int main(const int argc, const char *const *const argv, klee_make_symbolic(&shift, sizeof(shift), "shift"); klee_make_symbolic(&flags, sizeof(flags), "flags"); klee_assume(shift < INPUT_SIZE); - klee_assume( - flags <= (kExprFlagsMulti|kExprFlagsDisallowEOC|kExprFlagsPrintError)); + klee_assume(flags <= (kExprFlagsMulti|kExprFlagsDisallowEOC)); #endif ParserLine plines[] = { @@ -91,7 +90,7 @@ int main(const int argc, const char *const *const argv, }; kvi_init(pstate.reader.lines); - const ExprAST ast = viml_pexpr_parse(&pstate, flags); + const ExprAST ast = viml_pexpr_parse(&pstate, (int)flags); assert(ast.root != NULL || ast.err.msg); // Can’t possibly have more highlight tokens then there are bytes in string. assert(kv_size(colors) <= INPUT_SIZE - shift); |