Opened 7 months ago

#50 new defect

Comparison of pointers in usermeta is incorrect.

Reported by: mornfall Owned by: mornfall
Priority: major Milestone: 4.3
Component: VM Keywords:


Marked pointers are not extracted into SMT queries and normal pointers do not participate in the structural comparison.

Change History (0)

Note: See TracTickets for help on using tickets.