[bug-gettext] [bug #47847] Undefined behavior [use-after-free] possible in libgettext

[Bruno Haible]

Follow-up Comment #2, bug #47847 (project gettext):

IMO the sentence "The value of a pointer becomes indeterminate when
the object it points to reaches the end of its lifetime." (ISO C 6.2.4) means
that you should not compare pointers to local variables which have gone out of
scope: The function

int foo (int x)
{
  int *pa, *pb;
  { int a = x; pa = &a; }
  { int b = x; pb = &b; }
  return pa == pb;
}

can return 0 or 1, depending on compiler optimizations. This explains the
coverity warning.

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?47847>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/