Drewermerc tiene razón
ahora el razonamiento del algoritmo seria mas o menos asi
1º determinar el menos(dividir mas arriba de eso no tiene sentido)
2º el for tendría como limite el menor
3º
if(m%i==0)
{
cout<<"Los divisores de "<<m<<"son: "<<i<<endl;
esta bien, no se para que guardar el quantum lo importante es guardar los números. Lo que lleva al punto 4
4º
cuales tienen en común
guardar cada numero tanto de m como de n(critica constructiva llamar numero 1 y numero 2 son mas expresivo el nombre de la variable), podría ser en un vector del tamaño del menor , supongo debe haber alguna opción mas optima.
5º comparar los vectores y determinar los números iguales
jajajaj
se me ocurrio algo mas practico, pero bue no puedo mostrar el code porque no se hacen tareas...pero digamos usando el if que generaste pero anidado