【C言語】
スパゲティコードで未初期化変数が多発する
(Uninitialized Variable)

int f1(int  x,int y)
{
    int type1;
    if(x == 1234){
        type1 = 1234 ;//設定
    }
    if(y == 5678){
        return  type1;//参照
    }
    return  0;
}

int f2(int  max)
{
    int type2 ; 
    for(int i = 0 ; i < max;i++)  { //max が0の時回らないので　type2 はごみ
        type2 = i ;
    }
    return  type2 ;
}

int f3(int  x,int ary[])  
{
    int type3 ;
    for(int i = 0 ; i < 10;i++) {
        if(ary[i] == x) {// if文が一度も成立しない時 type3 はごみ
            type3 = i ;
        }
    }
    return  type3 ;
}

int f4(int  x)
{
    int type4 ;
    if(x > 0) {
      type4 = 1;
    } else if(x < 0)  {
      type4 = -1;
    } // else if 多分岐通過時　type4はゴミ
    return  type4;
}

typedef enum{a,b,c} abc_t;
int f5(abc_t    x)
{
    int type5;
    switch(x) {
    case  a:  type5 = 0;  break;
    case  b:  type5 = 1;  break;
    case  c:  type5 = 2;  break;
    } 
    return  type5; 
}