two #memory rules overlap
#158
Comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
{{ message }}
two
#memory rules overlap
#158
rule <k> #memory [ ret _ ] => . ... </k> <localCalls> .List </localCalls>and
rule <k> #memory [ ret ARGS ] => #memoryDelta(0 -Int intSizes(REGS, NREGS) -Int Gcallmemory < SCHED >) ... </k> <schedule> SCHED </schedule> <fid> NAME </fid> <regs> REGS </regs><funcId> NAME </funcId><nregs> NREGS </nregs>overlaps.The second rule needs to check localCalls is not empty.
The text was updated successfully, but these errors were encountered: