search

csmith-project / creduce

C-Reduce, a C and C++ program reducer
Other
1.31k stars 123 forks source link

creduce doesn't work when the path to the input file contains a space #230

Open porglezomp opened 3 years ago

porglezomp commented 3 years ago

The example same minimal demo project fails when the current working directory is in /tmp/path with space and succeeds in /tmp/path-without-space. This makes C-Reduce much more annoying to adopt for my friend who has spaces in his home directory.

marxin commented 3 years ago

You can experiment with https://github.com/marxin/cvise, it works fine in such a scenario:

marxin@marxinbox:/tmp/a b c> cvise -c 'gcc -c blocksort-part.c && grep nextHi blocksort-part.c' blocksort-part.c 
00:00:00 INFO Using temporary interestingness test: /tmp/tmpcuwmhj6s.sh
00:00:00 INFO ===< 29086 >===
00:00:00 INFO running 8 interestingness tests in parallel
00:00:00 INFO INITIAL PASSES
00:00:00 INFO ===< IncludesPass >===
00:00:00 INFO ===< UnIfDefPass >===
00:00:00 INFO (0.5%, 18992 bytes, 601 lines)
00:00:00 INFO ===< CommentsPass >===
00:00:00 INFO (18.9%, 15478 bytes, 498 lines)
00:00:00 INFO ===< IfPass >===
00:00:00 INFO ===< LineMarkersPass >===
00:00:00 INFO ===< BlankPass >===
00:00:00 INFO (20.6%, 15165 bytes, 498 lines)
00:00:00 INFO ===< ClangBinarySearchPass::replace-function-def-with-decl >===
00:00:01 INFO using C++ standard: c++98 with 7 transformation opportunities
00:00:01 INFO (75.8%, 4623 bytes, 133 lines)
00:00:01 INFO ===< ClangBinarySearchPass::remove-unused-function >===
00:00:01 INFO using C++ standard: c++98 with 7 transformation opportunities
00:00:01 INFO (82.5%, 3345 bytes, 90 lines)
00:00:01 INFO ===< LinesPass::0 >===
00:00:01 INFO (84.6%, 2938 bytes, 77 lines)
00:00:01 INFO (86.8%, 2515 bytes, 66 lines)
00:00:01 INFO (89.1%, 2089 bytes, 55 lines)
00:00:01 INFO (89.8%, 1951 bytes, 50 lines)
00:00:02 INFO (90.4%, 1826 bytes, 45 lines)
00:00:02 INFO (91.5%, 1619 bytes, 40 lines)
00:00:02 INFO (91.9%, 1541 bytes, 35 lines)
...
eeide commented 3 years ago

Thank you for reporting this, @porglezomp. Surely it is a bug that we should fix.