Open aagontuk opened 2 years ago
This looks like a bug, thaks for reporting it.
For both -c 7:z
and -sc 7#z
the criteria get parsed correctly, so the problem will be in their matching:
$ tools/llvm-slicer -c '7:z' t.bc -dbg
[39710][llvm - slicer] Searching for slicing criteria values
[39883][llvm - slicer] Criterion file # fun # line # obj ==> # # 7 # z
[39907][llvm - slicer] Checking global variables for slicing criteria
[39925][llvm - slicer] Checking all instructions for slicing criteria
No reachable slicing criteria: '' '7:z'
[llvm-slicer] saving sliced module to: t.sliced
I am trying to slice following example (Adding line number for convenience):
I am trying to slice on return statement in following way:
llvm-slicer is giving following output:
I am getting same output when I try to slice using line numbers. If I give
-c 7:z
I am getting following output:But if I use a function call site as a slicing criteria it is generating correct slice. Both
-c foo
and-c 7:z
is working, given that foo is called in line 7 passing z as parameter.