Evaluation of a given postfix expression containing single digits number as operands

postfix_evaluation.c

#include<stdio.h>
#include<string.h>
int top=-1; char a[20];
void push(char x)
{
    a[++top]=x;
}
char pop()
{
  return(a[top--]);
}

StrRev(char *s)
{ int i=0; char c; int j=strlen(s); j--;
    while(i<=j)
    {
         c=*(s+i);
        *(s+i)=*(s+j);
        *(s+j)=c;
        i++; j--;
    }
}

float evaluate(char s[])
{
  int i=0; char ch,c,b; int sum=0,x=0; StrRev(s);
  while(s[i]!='\0')
  {    ch=s[i];
      if((ch=='+')||(ch=='-')||(ch=='/')||(ch=='*'))
      {
       push(ch);
      }
      else
     {   x=ch-'0';
          while((top!=-1)&&(a[top]=='@'))
         {
          c=pop(); b=pop();
         if(b=='+')
          sum+=x;
          else if(b=='-')
          sum-=x;
          else if(b=='/')
          sum=x/sum;
          else if(b=='*')
          sum*=x;
          x=sum;
          }
         sum=x; push('@');
       }
    i++;
  }
  return(sum);
}
main()
{   char s[20]; printf("Enter a postfix expression :  ");
    gets(s);
    int sum=evaluate(s);
    printf("Answer : %d",sum);
}

/////////////
//OUTPUT
//Enter a postfix expression :  123*+
//Answer : 7