kmax icon indicating copy to clipboard operation
kmax copied to clipboard

krepair failure due to SuperC error while repairing for 8594c3b85171

Open necipfazil opened this issue 2 years ago • 0 comments

To reproduce:

git checkout 8594c3b85171
git show > patch2.diff
klocalizer --include patch2.diff --repair allnoconfig -a arm64

Output:

klocalizer, kmax 4.2
INFO: Diff file was given as input ("patch2.diff"): assuming it was applied to the Linux source.
INFO: Trying the following architectures: arm64
INFO: Trying "arm64"
INFO: The constraints are satisfiable for the units.  Trying with the line constraints.
INFO: Computing the line presence conditions under arm64 for the following units: drivers/irqchip/irq-gic.c
INFO: Computing line presence conditions for "drivers/irqchip/irq-gic.c"
WARNING: Failed to compute line presence conditions for "drivers/irqchip/irq-gic.c": SuperC sourcelinePC error
INFO: Approximating via unsat core approach.
INFO: Found satisfying config by removing 84 assumptions.
INFO: The constraints are satisfiable.
INFO: Writing the configuration to .config
INFO: Build with "make.cross ARCH=arm64 olddefconfig; make.cross ARCH=arm64 clean drivers/irqchip/irq-gic.o".
arm64

Content of .kmax/6ba744d79a4d/superc/arm64/configs/drivers/irqchip/irq-gic.c_superc_logs/superc_sourcelinepc_err:

error: header generated/autoksyms.h not found
java.lang.Error: Error: could not match input
	at superc.cparser.CLexer.zzScanError(CLexer.java:977)
	at superc.cparser.CLexer.yylex(CLexer.java:1659)
	at superc.core.HeaderFileManager$PFile$1.next(HeaderFileManager.java:917)
	at superc.core.HeaderFileManager$PFile$1.next(HeaderFileManager.java:912)
	at superc.core.DirectiveParser.next(DirectiveParser.java:75)
	at superc.core.DirectiveParser.next(DirectiveParser.java:48)
	at superc.core.HeaderFileManager.openHeader(HeaderFileManager.java:484)
	at superc.core.HeaderFileManager.includeHeader(HeaderFileManager.java:346)
	at superc.core.Preprocessor.includeDirective(Preprocessor.java:1725)
	at superc.core.Preprocessor.evaluateDirective(Preprocessor.java:918)
	at superc.core.Preprocessor.__next(Preprocessor.java:426)
	at superc.core.Preprocessor.next(Preprocessor.java:371)
	at superc.SuperC$ConditionalBlock.readConditionalBlockGroups(SuperC.java:312)
	at superc.SuperC$ConditionalBlock.getConditionalBlockGroups(SuperC.java:176)
	at superc.SuperC.parse(SuperC.java:938)
	at xtc.util.Tool.run(Tool.java:502)
	at superc.SuperC.main(SuperC.java:2012)
1 error

necipfazil avatar Jun 01 '22 23:06 necipfazil