编译器是否应该将bool中的任意非零值正确解释为true？

Bool应该转换为1表示真值,否则为0.但是,它没有说明它们实际上如何存储在内存中.如果我在bool中存储任意非零值会发生什么？标准是否保证在将其转换为整数时的正确行为？

例如,给定以下程序,

#include 

int main()
{
  bool b;
  memset( &b, 123, sizeof( b ) );

  return b;
}

标准是否保证程序将返回1？