El código tiene ciertos problemas en la lógica del ordenamiento, adjunto la corrección al mismo.
int FomraDes(int mat[], int a)
{
int i,j;
a=0;
for (i=0;i<a;i++)
{
for (j=0;j<a;j++)
{
//numero actual menor a numero siguiente para imprimir de forma des
if (mat[j] < mat[j+1])
{
//algoritmo de ordenamiento para mover el numero actual
a=mat[j];
mat[j]=mat[j+1];
mat[j+1]=a;
}
}
}
}
El método de ordenamiento "burbujeo optimizado" que estas utilizando consta de verificar si numero actual (mat[j]) es menor a numero siguiente (mat[j+1]), si eso mismo se cumple se necesita un intercambio de los valores realizado de la siguiente manera.
auxiliar=mat[numeroactual(j)]
mat[numeroactual(j)]=mat[numerosiguiente(j+1)]
mat[numerosiguiente(j+1)]=auxiliar;
Espero haber contestado tu pregunta. Suerte!