Встроенный asm не понимает метки (GCC).

unsigned int iFactor(unsigned int n){
//(n==0)=>1; переполнение=>вернуть 0
//unsigned long long f; unsigned long f1; 
unsigned int f2=1;
for (;n;n--){
    f2*=n;
    asm ("jo OUT1");//при переполнении - return 0;
    }//for(n) end
return f2;
OUT1:
return 0;
}

int
__pthread_spin_lock (pthread_spinlock_t *lock)
{
  asm volatile
    ("\n"
     "1:\n\t"
     "lock; decl %0\n\t"
     "js 2f\n\t"
     ".section .text.spinlock,\"ax\"\n"
     "2:\n\t"
     "cmpl $0,%0\n\t"
     "rep; nop\n\t"
     "jle 2b\n\t"
     "jmp 1b\n\t"
     ".previous"
     : "=m" (*lock));
  return 0;
}

trampampam1;
__pthread_spin_lock(p);
trampampam2;

#include <stdio.h>
 
int main()
{
   asm ("jmp l");
   int a=-1;
   if (a+1==0)
   {
    return 0;
   }
   asm ("l:");
   printf("Error\n");
   return 1;
}

#include <stdio.h>
#include <stdlib.h>
 
int main()
{
   asm ("jmp l");
   int a = rand();
   if (a!=-1)
   {
    return 0;
   }
   asm ("l:");
   printf("Error\n");
   return 1;
}

unsigned __attribute__((fastcall))
iFactorial (unsigned n)
{
  /* Поместим в %eax, т.к. на этом регистре происходит возврат значения */
  register unsigned res asm ("%eax") = 1;
 
  asm ("  testl %[op_n], %[op_n]\n\t"  /* сравнение n с нулём */
       "  je    2f\n\t"                /* если n==0, то переход на метку 2*/
       "1:\n\t"
       "  imull %[op_n], %[op_res]\n\t"  /* op_res = op_res * op_n */
       "  jc    3f\n\t"                /* в случае переполнения переход на метку 3 */
       "  decl  %[op_n]\n\t"           /* op_n-- */
       "  jne 1b\n\t"                  /* если op_n не равен нулю, переход на метку 1 */
       "2:\n\t"                        /* эта точка соотвествует концу вставки */
       "  .subsection 1\n\t"           /* с этого места код будет помещён в конце сегмента кода */
       "3:\n\t"
       "  movl $0, %[op_res]\n\t"      /* записываем 0 в op_res */
       "  jc   2b\n\t"                 /* безусловный переход на 2 (не знаю, какая инструкция, поставил jc) */
       "  .previous"
       : [op_res] "+&r" (res) : [op_n] "r" (n));
 
  return res;
}