Commit 72e97dc9 authored by Maria Matejka's avatar Maria Matejka
Browse files

Lists: fix a stupid sanitizer bug

parent 07c67f2e
Loading
Loading
Loading
Loading
+6 −2
Original line number Diff line number Diff line
@@ -167,8 +167,12 @@ LIST_INLINE void
replace_node(node *old, node *new)
{
  EXPENSIVE_CHECK(check_list(NULL, old));

  if (old != new)
  {
    ASSUME(new->prev == NULL);
    ASSUME(new->next == NULL);
  }

  old->next->prev = new;
  old->prev->next = new;