たとえば、↓のコードを考えてみて下さい。
  unsigned char a = 255; // 0xff
  unsigned char b = 255; // 0xff
  unsigned int c;
  ここで、
  c = (unsigned int) (a + b);
  の演算を行った場合、変数cに入る値はどちらが正しい?

GAIO カバレッジマスター 組込み単体テストツール C0/C1/MCDC カバレッジ テストデータ自動生成 | 機能安全 26262
http://www.gaio.co.jp/product/dev_tools/pdt07_winams_qz.html?DM371285263

こういう記事をみつけたのですが、これホントですか・・・?