mirrors/neovim
1
0
Fork 0
mirror of https://github.com/neovim/neovim.git synced 2025-09-06 03:18:16 +00:00
Code Issues Packages Projects Releases Wiki Activity

klee: Fix some errors made in …parser.c

Browse Source
This commit is contained in:
ZyX
2017-10-14 00:26:52 +03:00
parent fa3cfc0dd5
commit 8178ba2871
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
test/symbolic/klee/viml_expressions_parser.c
View File

@@ -1,5 +1,4 @@
#ifdef USE_KLEE #ifdef USE_KLEE
# error UNFINISHED
# include <klee/klee.h> # include <klee/klee.h>
#else #else
# include <string.h> # include <string.h>
@@ -47,10 +46,10 @@ int main(const int argc, const char *const *const argv,
#ifdef USE_KLEE #ifdef USE_KLEE
klee_make_symbolic(input, sizeof(input), "input"); klee_make_symbolic(input, sizeof(input), "input");
klee_make_symbolic(&shift, sizeof(shift), "shift"); klee_make_symbolic(&shift, sizeof(shift), "shift");
klee_make_symbolic(&flags, sizeof{flags}, "flags"); klee_make_symbolic(&flags, sizeof(flags), "flags");
klee_assume(shift < INPUT_SIZE); klee_assume(shift < INPUT_SIZE);
klee_assume( klee_assume(
flags <= kExprFlagsMulti|kExprFlagsDisallowEOC|kExprFlagsPrintError); flags <= (kExprFlagsMulti|kExprFlagsDisallowEOC|kExprFlagsPrintError));
#endif #endif
ParserLine plines[] = { ParserLine plines[] = {
@@ -93,5 +92,6 @@ int main(const int argc, const char *const *const argv,
assert(ast.root != NULL assert(ast.root != NULL
|| plines[0].size == 0); || plines[0].size == 0);
assert(ast.root != NULL || ast.err.msg); assert(ast.root != NULL || ast.err.msg);
// FIXME: check for AST recursiveness
// FIXME: free memory and assert no memory leaks // FIXME: free memory and assert no memory leaks
} }