[xilinxc]: Fixed other minor issue