Don't read fields of a misaligned ExpandedObjectHeader or AnyArrayType.

UBSan complains about this.  Instead, cast to a suitable type requiring
only 4-byte alignment.  DatumGetAnyArrayP() already assumes one can cast
between AnyArrayType and ArrayType, so this doesn't introduce a new
assumption.  Back-patch to 9.5, where AnyArrayType was introduced.

Reviewed by Tom Lane.

Discussion: https://postgr.es/m/20190629210334[email protected]

diff --git a/src/backend/utils/adt/arrayfuncs.c b/src/backend/utils/adt/arrayfuncs.c
index f572d326b4ad26a6c6af285fd729f1f51f1d92c8..286d010cd6303c703bd43f7a85675e7bc2f9f7aa 100644 (file)
--- a/src/backend/utils/adt/arrayfuncs.c
+++ b/src/backend/utils/adt/arrayfuncs.c
@@ -4160,7 +4160,7 @@ array_contain_compare(AnyArrayType *array1, AnyArrayType *array2, Oid collation,
        nelems2 = array2->xpn.nelems;
    }
    else
-       deconstruct_array(&(array2->flt),
+       deconstruct_array((ArrayType *) array2,
                          element_type, typlen, typbyval, typalign,
                          &values2, &nulls2, &nelems2);
 

diff --git a/src/include/utils/array.h b/src/include/utils/array.h
index afbb532e9c266a1f13cf70dc2aa512ab4ddc85fb..03d0db5a86551b6e487706e37936e382a0ec099f 100644 (file)
--- a/src/include/utils/array.h
+++ b/src/include/utils/array.h
@@ -157,7 +157,10 @@ typedef struct ExpandedArrayHeader
 
 /*
  * Functions that can handle either a "flat" varlena array or an expanded
- * array use this union to work with their input.
+ * array use this union to work with their input.  Don't refer to "flt";
+ * instead, cast to ArrayType.  This struct nominally requires 8-byte
+ * alignment on 64-bit, but it's often used for an ArrayType having 4-byte
+ * alignment.  UBSan complains about referencing "flt" in such cases.
  */
 typedef union AnyArrayType
 {
@@ -311,17 +314,21 @@ typedef struct ArrayIteratorData *ArrayIterator;
  * Macros for working with AnyArrayType inputs.  Beware multiple references!
  */
 #define AARR_NDIM(a) \
-   (VARATT_IS_EXPANDED_HEADER(a) ? (a)->xpn.ndims : ARR_NDIM(&(a)->flt))
+   (VARATT_IS_EXPANDED_HEADER(a) ? \
+    (a)->xpn.ndims : ARR_NDIM((ArrayType *) (a)))
 #define AARR_HASNULL(a) \
    (VARATT_IS_EXPANDED_HEADER(a) ? \
     ((a)->xpn.dvalues != NULL ? (a)->xpn.dnulls != NULL : ARR_HASNULL((a)->xpn.fvalue)) : \
-    ARR_HASNULL(&(a)->flt))
+    ARR_HASNULL((ArrayType *) (a)))
 #define AARR_ELEMTYPE(a) \
-   (VARATT_IS_EXPANDED_HEADER(a) ? (a)->xpn.element_type : ARR_ELEMTYPE(&(a)->flt))
+   (VARATT_IS_EXPANDED_HEADER(a) ? \
+    (a)->xpn.element_type : ARR_ELEMTYPE((ArrayType *) (a)))
 #define AARR_DIMS(a) \
-   (VARATT_IS_EXPANDED_HEADER(a) ? (a)->xpn.dims : ARR_DIMS(&(a)->flt))
+   (VARATT_IS_EXPANDED_HEADER(a) ? \
+    (a)->xpn.dims : ARR_DIMS((ArrayType *) (a)))
 #define AARR_LBOUND(a) \
-   (VARATT_IS_EXPANDED_HEADER(a) ? (a)->xpn.lbound : ARR_LBOUND(&(a)->flt))
+   (VARATT_IS_EXPANDED_HEADER(a) ? \
+    (a)->xpn.lbound : ARR_LBOUND((ArrayType *) (a)))
 
 
 /*

diff --git a/src/include/utils/arrayaccess.h b/src/include/utils/arrayaccess.h
index f04752213e9328f9be98510a040e09af1751ec66..6f9cbdd8668b72e0c9e267bf69c96bf13886149e 100644 (file)
--- a/src/include/utils/arrayaccess.h
+++ b/src/include/utils/arrayaccess.h
@@ -71,8 +71,8 @@ array_iter_setup(array_iter *it, AnyArrayType *a)
    {
        it->datumptr = NULL;
        it->isnullptr = NULL;
-       it->dataptr = ARR_DATA_PTR(&a->flt);
-       it->bitmapptr = ARR_NULLBITMAP(&a->flt);
+       it->dataptr = ARR_DATA_PTR((ArrayType *) a);
+       it->bitmapptr = ARR_NULLBITMAP((ArrayType *) a);
    }
    it->bitmask = 1;
 }

diff --git a/src/include/utils/expandeddatum.h b/src/include/utils/expandeddatum.h
index 3361bb25adec4c715ffb1e50e31d58ef3ddaf2bb..80fee28d26a20fea9e8873797ce6eda3bd6e8a3e 100644 (file)
--- a/src/include/utils/expandeddatum.h
+++ b/src/include/utils/expandeddatum.h
@@ -126,7 +126,7 @@ struct ExpandedObjectHeader
  */
 #define EOH_HEADER_MAGIC (-1)
 #define VARATT_IS_EXPANDED_HEADER(PTR) \
-   (((ExpandedObjectHeader *) (PTR))->vl_len_ == EOH_HEADER_MAGIC)
+   (((varattrib_4b *) (PTR))->va_4byte.va_header == EOH_HEADER_MAGIC)
 
 /*
  * Generic support functions for expanded objects.