связи c двойной битовое представление

TLDR; вызывает ли следующий код неопределенное (или неопределенное) поведение ?

#include <stdio.h>
#include <string.h>

void printme(void *c, size_t n)
{
  /* print n bytes in binary */
}

int main() {
  long double value1 = 0;
  long double value2 = 0;

  memset( (void*) &value1, 0x00, sizeof(long double));
  memset( (void*) &value2, 0x00, sizeof(long double));

  /* printf("value1: "); */
  /* printme(&value1, sizeof(long double)); */
  /* printf("value2: "); */
  /* printme(&value2, sizeof(long double)); */

  value1 = 0.0;
  value2 = 1.0;

  printf("value1: %Lfn", value1);
  printme(&value1, sizeof(long double));
  printf("value2: %Lfn", value2);
  printme(&value2, sizeof(long double));

  return 0;
}

На моей машине x86-64 выходные данные зависят от конкретных флагов оптимизации, передаваемых компилятору (gcc-4.8.0,- O0 vs-O1).

С -O0, я получаю

value1: 0.000000
00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000
00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 
value2: 1.000000
00000000 00000000 00000000 00000000 00000000 00000000 00111111 11111111
10000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000

В то время как с -O1, я получаю

value1: 0.000000
00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000
00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 
value2: 1.000000
00000000 00000000 00000000 00000000 00000000 01000000 00111111 11111111
10000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 

Пожалуйста, обратите внимание на дополнительный 1 во второй последней строке. Кроме того, раскомментировав инструкции печати после memset, этот 1 исчезнет. Это, кажется, зависит от двух факты:

1. long double дополняется, то есть sizeof(long double) = 16, но используется только 10 байт.
2. вызов memset может быть оптимизирован
3. биты заполнения длинных двойников могут меняться без предупреждения, т. е. операции с плавающей запятой на значение1 и значение2, похоже, скремблируют биты заполнения.

Я компилирую с -std=c99 -Wall -Wextra -Wpedantic и не получаю никаких предупреждений, поэтому я не уверен, что это случай нарушения строгого псевдонимирования (но это вполне может быть). Передача -fno-strict-aliasing не делает изменить что-то.

Контекст-это ошибка, найденная в библиотеке HDF5, описанной здесь. HDF5 делает некоторую битную манипуляцию, чтобы выяснить собственное битовое представление типов с плавающей запятой, но он запутывается, если биты заполнения не остаются нулевыми.

Итак:

1. является ли это неопределенным поведением?
2. является ли это нарушением строгого сглаживания?

Спасибо.

Edit: это код для printme. Я признаю, что только что вырезал и наклеил откуда-то снаружи слишком много внимания уделяет этому. Если вина здесь, я обойду вокруг стола со спущенными штанами.

void printme(void *c, size_t n)
{
  unsigned char *t = c;
  if (c == NULL)
    return;
  while (n > 0) {
    int q;
    --n;
    for(q = 0x80; q; q >>= 1) 
      printf("%x", !!(t[n] & q));
    printf(" ");
  }
  printf("n");
}