A prescindere da tutto, se incrementi i ad ogni iterazione non è ricerca binaria è ricerca sequenziale. Al posto della tua funzione cerca_prodotto suggerirei l'uso della funzione di libreria bsearch , a patto che l'array in input sia ordinato.