Index: common/lib/libc/misc/ubsan.c =================================================================== RCS file: /cvsroot/src/common/lib/libc/misc/ubsan.c,v retrieving revision 1.6 diff -u -r1.6 ubsan.c --- common/lib/libc/misc/ubsan.c 17 Jun 2019 18:55:37 -0000 1.6 +++ common/lib/libc/misc/ubsan.c 4 Oct 2019 11:53:41 -0000 @@ -1403,6 +1403,7 @@ switch (zDeserializeTypeWidth(pType)) { case WIDTH_64: + ASSERT(sizeof(D) == sizeof(ulNumber)); memcpy(&D, &ulNumber, sizeof(double)); snprintf(pBuffer, zBUfferLength, "%g", D); break;