Displaying 1 result from an estimated 1 matches for "e783d29c".
2017 May 04
2
Handling invariant.groups with equality + marking it as experimental
Hi folks,
I would like to ask for some help with handling invariant.group metadata
for pointer comparison. Currently, we have a problem with devirtualization
of this code:
void compare() {
A* a = new A;
a->foo();
A* b = new(a) B;
if (a == b) {
b->foo();
}
}
Now because it is legal to replace b with an in the branch the vtable load
will use old pointer operand