e5673.c

if(val & 2== 2)はBUG

 /* 警告:   B:e5673: 『x & 2 == 2』 は『x & (2 == 2)』となり『(x & 2) == 2』とは別です */ 

/* 修正前 */
    if(c & 2 == 2)   /* ←BUG */

/* コンパイラはこう解釈する */
    if( c & (2 == 2))

/* 修正例 */
    if((c & 2) == 2)


解説
    修正例１のように『＝＝』が先に実行されます。
    詳細な説明は、
        『プログラミング言語Ｃ 第２版 ＡＮＳＩ規格準拠
        カーニハン リッチー著／石田晴久訳』
        「2.12 優先度と評価順序」Page65
    か
        Ｃ－ＦＡＱ 3.4Ｊ
        Ｃ－ＦＡＱ 3.4Ｅ
    を参照して下さい
    たまに＆と＆＆の違いを知らない人がいる！