marxin / cvise

Super-parallel Python port of the C-Reduce
Other
219 stars 25 forks source link

UnIfDefPass has encountered a bug: pass error state: 44 #103

Closed pkubaj closed 1 year ago

pkubaj commented 1 year ago
Package: cvise 2.4.0
Git version: 5c63665
LLVM version: 13.0.1
System: uname_result(system='FreeBSD', node='talos-powerpc64', release='14.0-CURRENT', version='FreeBSD 14.0-CURRENT #6 main-n260996-a1ffc2fe9ce5: Fri Feb 17 03:13:42 CET 2023     root@talos-powerpc64:/usr/obj/usr/src/powerpc.powerpc64/sys/GENERIC64', machine='powerpc')
***************************************************

UnIfDefPass has encountered a bug:
pass error
state: 44

Please consider tarring up cvise_bug_0
and creating an issue at https://github.com/marxin/cvise/issues and we will try to fix the bug.

***************************************************

cvise_bug_0.tar.gz

marxin commented 1 year ago

Similarly here:

diff --git a/cvise/passes/unifdef.py b/cvise/passes/unifdef.py
index 1a82c9b..bdc19f9 100644
--- a/cvise/passes/unifdef.py
+++ b/cvise/passes/unifdef.py
@@ -49,6 +49,9 @@ class UnIfDefPass(AbstractPass):
                 cmd = [self.external_programs['unifdef'], '-B', '-x', '2', f'{du}{def_}', '-o', tmp_file.name, test_case]
                 stdout, stderr, returncode = process_event_notifier.run_process(cmd)
                 if returncode != 0:
+                    print(returncode)
+                    print(stdout)
+                    print(stderr)
                     return (PassResult.ERROR, state)

                 if filecmp.cmp(test_case, tmp_file.name, shallow=False):
marxin commented 1 year ago

Similarly here, waiting for a feedback.

marxin commented 1 year ago

Likewise here, waiting for an info.