// File: /workspace/github_c_makefile_star2_O0/genometools[P]genometools/src/external/sqlite-3.33.0/sqlite3.c
// Function: sqlite3FkCheck
SQLITE_PRIVATE void sqlite3FkCheck(
  Parse *pParse,                  /* Parse context */
  Table *pTab,                    /* Row is being deleted from this table */
  int regOld,                     /* Previous row data is stored here */
  int regNew,                     /* New row data is stored here */
  int *aChange,                   /* Array indicating UPDATEd columns (or 0) */
  int bChngRowid                  /* True if rowid is UPDATEd */
){
  sqlite3 *db = pParse->db;       /* Database handle */
  FKey *pFKey;                    /* Used to iterate through FKs */
  int iDb;                        /* Index of database containing pTab */
  const char *zDb;                /* Name of database containing pTab */
  int isIgnoreErrors = pParse->disableTriggers;

  /* Exactly one of regOld and regNew should be non-zero. */
  assert( (regOld==0)!=(regNew==0) );

  /* If foreign-keys are disabled, this function is a no-op. */
  if( (db->flags&SQLITE_ForeignKeys)==0 ) return;

  iDb = sqlite3SchemaToIndex(db, pTab->pSchema);
  zDb = db->aDb[iDb].zDbSName;

  /* Loop through all the foreign key constraints for which pTab is the
  ** child table (the table that the foreign key definition is part of).  */
  for(pFKey=pTab->pFKey; pFKey; pFKey=pFKey->pNextFrom){
    Table *pTo;                   /* Parent table of foreign key pFKey */
    Index *pIdx = 0;              /* Index on key columns in pTo */
    int *aiFree = 0;
    int *aiCol;
    int iCol;
    int i;
    int bIgnore = 0;

    if( aChange
     && sqlite3_stricmp(pTab->zName, pFKey->zTo)!=0
     && fkChildIsModified(pTab, pFKey, aChange, bChngRowid)==0
    ){
      continue;
    }

    /* Find the parent table of this foreign key. Also find a unique index
    ** on the parent key columns in the parent table. If either of these
    ** schema items cannot be located, set an error in pParse and return
    ** early.  */
    if( pParse->disableTriggers ){
      pTo = sqlite3FindTable(db, pFKey->zTo, zDb);
    }else{
      pTo = sqlite3LocateTable(pParse, 0, pFKey->zTo, zDb);
    }
    if( !pTo || sqlite3FkLocateIndex(pParse, pTo, pFKey, &pIdx, &aiFree) ){
      assert( isIgnoreErrors==0 || (regOld!=0 && regNew==0) );
      if( !isIgnoreErrors || db->mallocFailed ) return;
      if( pTo==0 ){
        /* If isIgnoreErrors is true, then a table is being dropped. In this
        ** case SQLite runs a "DELETE FROM xxx" on the table being dropped
        ** before actually dropping it in order to check FK constraints.
        ** If the parent table of an FK constraint on the current table is
        ** missing, behave as if it is empty. i.e. decrement the relevant
        ** FK counter for each row of the current table with non-NULL keys.
        */
        Vdbe *v = sqlite3GetVdbe(pParse);
        int iJump = sqlite3VdbeCurrentAddr(v) + pFKey->nCol + 1;
        for(i=0; i<pFKey->nCol; i++){
          int iFromCol, iReg;
          iFromCol = pFKey->aCol[i].iFrom;
          iReg = sqlite3TableColumnToStorage(pFKey->pFrom,iFromCol) + regOld+1;
          sqlite3VdbeAddOp2(v, OP_IsNull, iReg, iJump); VdbeCoverage(v);
        }
        sqlite3VdbeAddOp2(v, OP_FkCounter, pFKey->isDeferred, -1);
      }
      continue;
    }
    assert( pFKey->nCol==1 || (aiFree && pIdx) );

    if( aiFree ){
      aiCol = aiFree;
    }else{
      iCol = pFKey->aCol[0].iFrom;
      aiCol = &iCol;
    }
    for(i=0; i<pFKey->nCol; i++){
      if( aiCol[i]==pTab->iPKey ){
        aiCol[i] = -1;
      }
      assert( pIdx==0 || pIdx->aiColumn[i]>=0 );
#ifndef SQLITE_OMIT_AUTHORIZATION
      /* Request permission to read the parent key columns. If the
      ** authorization callback returns SQLITE_IGNORE, behave as if any
      ** values read from the parent table are NULL. */
      if( db->xAuth ){
        int rcauth;
        char *zCol = pTo->aCol[pIdx ? pIdx->aiColumn[i] : pTo->iPKey].zName;
        rcauth = sqlite3AuthReadCol(pParse, pTo->zName, zCol, iDb);
        bIgnore = (rcauth==SQLITE_IGNORE);
      }
#endif
    }

    /* Take a shared-cache advisory read-lock on the parent table. Allocate
    ** a cursor to use to search the unique index on the parent key columns
    ** in the parent table.  */
    sqlite3TableLock(pParse, iDb, pTo->tnum, 0, pTo->zName);
    pParse->nTab++;

    if( regOld!=0 ){
      /* A row is being removed from the child table. Search for the parent.
      ** If the parent does not exist, removing the child row resolves an
      ** outstanding foreign key constraint violation. */
      fkLookupParent(pParse, iDb, pTo, pIdx, pFKey, aiCol, regOld, -1, bIgnore);
    }
    if( regNew!=0 && !isSetNullAction(pParse, pFKey) ){
      /* A row is being added to the child table. If a parent row cannot
      ** be found, adding the child row has violated the FK constraint.
      **
      ** If this operation is being performed as part of a trigger program
      ** that is actually a "SET NULL" action belonging to this very
      ** foreign key, then omit this scan altogether. As all child key
      ** values are guaranteed to be NULL, it is not possible for adding
      ** this row to cause an FK violation.  */
      fkLookupParent(pParse, iDb, pTo, pIdx, pFKey, aiCol, regNew, +1, bIgnore);
    }

    sqlite3DbFree(db, aiFree);
  }

  /* Loop through all the foreign key constraints that refer to this table.
  ** (the "child" constraints) */
  for(pFKey = sqlite3FkReferences(pTab); pFKey; pFKey=pFKey->pNextTo){
    Index *pIdx = 0;              /* Foreign key index for pFKey */
    SrcList *pSrc;
    int *aiCol = 0;

    if( aChange && fkParentIsModified(pTab, pFKey, aChange, bChngRowid)==0 ){
      continue;
    }

    if( !pFKey->isDeferred && !(db->flags & SQLITE_DeferFKs)
     && !pParse->pToplevel && !pParse->isMultiWrite
    ){
      assert( regOld==0 && regNew!=0 );
      /* Inserting a single row into a parent table cannot cause (or fix)
      ** an immediate foreign key violation. So do nothing in this case.  */
      continue;
    }

    if( sqlite3FkLocateIndex(pParse, pTab, pFKey, &pIdx, &aiCol) ){
      if( !isIgnoreErrors || db->mallocFailed ) return;
      continue;
    }
    assert( aiCol || pFKey->nCol==1 );

    /* Create a SrcList structure containing the child table.  We need the
    ** child table as a SrcList for sqlite3WhereBegin() */
    pSrc = sqlite3SrcListAppend(pParse, 0, 0, 0);
    if( pSrc ){
      struct SrcList_item *pItem = pSrc->a;
      pItem->pTab = pFKey->pFrom;
      pItem->zName = pFKey->pFrom->zName;
      pItem->pTab->nTabRef++;
      pItem->iCursor = pParse->nTab++;

      if( regNew!=0 ){
        fkScanChildren(pParse, pSrc, pTab, pIdx, pFKey, aiCol, regNew, -1);
      }
      if( regOld!=0 ){
        int eAction = pFKey->aAction[aChange!=0];
        fkScanChildren(pParse, pSrc, pTab, pIdx, pFKey, aiCol, regOld, 1);
        /* If this is a deferred FK constraint, or a CASCADE or SET NULL
        ** action applies, then any foreign key violations caused by
        ** removing the parent key will be rectified by the action trigger.
        ** So do not set the "may-abort" flag in this case.
        **
        ** Note 1: If the FK is declared "ON UPDATE CASCADE", then the
        ** may-abort flag will eventually be set on this statement anyway
        ** (when this function is called as part of processing the UPDATE
        ** within the action trigger).
        **
        ** Note 2: At first glance it may seem like SQLite could simply omit
        ** all OP_FkCounter related scans when either CASCADE or SET NULL
        ** applies. The trouble starts if the CASCADE or SET NULL action
        ** trigger causes other triggers or action rules attached to the
        ** child table to fire. In these cases the fk constraint counters
        ** might be set incorrectly if any OP_FkCounter related scans are
        ** omitted.  */
        if( !pFKey->isDeferred && eAction!=OE_Cascade && eAction!=OE_SetNull ){
          sqlite3MayAbort(pParse);
        }
      }
      pItem->zName = 0;
      sqlite3SrcListDelete(db, pSrc);
    }
    sqlite3DbFree(db, aiCol);
  }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xf0, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl %edx, -0x14(%rbp)
movl %ecx, -0x18(%rbp)
movq %r8, -0x20(%rbp)
movl %r9d, -0x24(%rbp)
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x8(%rbp), %rax
movzbl 0xd2(%rax), %eax
movl %eax, -0x4c(%rbp)
movq -0x30(%rbp), %rax
movq 0x30(%rax), %rax
andq $0x4000, %rax           # imm = 0x4000
cmpq $0x0, %rax
jne 0x45b433
jmp 0x45ba57
movq -0x30(%rbp), %rdi
movq -0x10(%rbp), %rax
movq 0x70(%rax), %rsi
callq 0x3cb770
movl %eax, -0x3c(%rbp)
movq -0x30(%rbp), %rax
movq 0x20(%rax), %rax
movslq -0x3c(%rbp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movq (%rax), %rax
movq %rax, -0x48(%rbp)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x38(%rbp)
cmpq $0x0, -0x38(%rbp)
je 0x45b7ff
movq $0x0, -0x60(%rbp)
movq $0x0, -0x68(%rbp)
movl $0x0, -0x7c(%rbp)
cmpq $0x0, -0x20(%rbp)
je 0x45b4cd
movq -0x10(%rbp), %rax
movq (%rax), %rdi
movq -0x38(%rbp), %rax
movq 0x10(%rax), %rsi
callq 0x3c3e00
cmpl $0x0, %eax
je 0x45b4cd
movq -0x10(%rbp), %rdi
movq -0x38(%rbp), %rsi
movq -0x20(%rbp), %rdx
movl -0x24(%rbp), %ecx
callq 0x45ae60
cmpl $0x0, %eax
jne 0x45b4cd
jmp 0x45b7ee
movq -0x8(%rbp), %rax
cmpb $0x0, 0xd2(%rax)
je 0x45b4f5
movq -0x30(%rbp), %rdi
movq -0x38(%rbp), %rax
movq 0x10(%rax), %rsi
movq -0x48(%rbp), %rdx
callq 0x3d38b0
movq %rax, -0x58(%rbp)
jmp 0x45b510
movq -0x8(%rbp), %rdi
movq -0x38(%rbp), %rax
movq 0x10(%rax), %rdx
movq -0x48(%rbp), %rcx
xorl %esi, %esi
callq 0x3cb4b0
movq %rax, -0x58(%rbp)
cmpq $0x0, -0x58(%rbp)
je 0x45b539
movq -0x8(%rbp), %rdi
movq -0x58(%rbp), %rsi
movq -0x38(%rbp), %rdx
leaq -0x60(%rbp), %rcx
leaq -0x68(%rbp), %r8
callq 0x45c740
cmpl $0x0, %eax
je 0x45b623
cmpl $0x0, -0x4c(%rbp)
je 0x45b54c
movq -0x30(%rbp), %rax
movzbl 0x61(%rax), %eax
cmpl $0x0, %eax
je 0x45b551
jmp 0x45ba57
cmpq $0x0, -0x58(%rbp)
jne 0x45b61e
movq -0x8(%rbp), %rdi
callq 0x4299d0
movq %rax, -0x88(%rbp)
movq -0x88(%rbp), %rdi
callq 0x430ae0
movq -0x38(%rbp), %rcx
addl 0x28(%rcx), %eax
addl $0x1, %eax
movl %eax, -0x8c(%rbp)
movl $0x0, -0x78(%rbp)
movl -0x78(%rbp), %eax
movq -0x38(%rbp), %rcx
cmpl 0x28(%rcx), %eax
jge 0x45b600
movq -0x38(%rbp), %rax
addq $0x40, %rax
movslq -0x78(%rbp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movl (%rax), %eax
movl %eax, -0x90(%rbp)
movq -0x38(%rbp), %rax
movq (%rax), %rdi
movl -0x90(%rbp), %eax
movswl %ax, %esi
callq 0x42bae0
cwtl
addl -0x14(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x94(%rbp)
movq -0x88(%rbp), %rdi
movl -0x94(%rbp), %edx
movl -0x8c(%rbp), %ecx
movl $0x32, %esi
callq 0x410100
movl -0x78(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x78(%rbp)
jmp 0x45b58f
movq -0x88(%rbp), %rdi
movq -0x38(%rbp), %rax
movzbl 0x2c(%rax), %edx
movl $0x95, %esi
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
callq 0x410100
jmp 0x45b7ee
cmpq $0x0, -0x68(%rbp)
je 0x45b634
movq -0x68(%rbp), %rax
movq %rax, -0x70(%rbp)
jmp 0x45b646
movq -0x38(%rbp), %rax
movl 0x40(%rax), %eax
movl %eax, -0x74(%rbp)
leaq -0x74(%rbp), %rax
movq %rax, -0x70(%rbp)
movl $0x0, -0x78(%rbp)
movl -0x78(%rbp), %eax
movq -0x38(%rbp), %rcx
cmpl 0x28(%rcx), %eax
jge 0x45b734
movq -0x70(%rbp), %rax
movslq -0x78(%rbp), %rcx
movl (%rax,%rcx,4), %eax
movq -0x10(%rbp), %rcx
movswl 0x44(%rcx), %ecx
cmpl %ecx, %eax
jne 0x45b683
movq -0x70(%rbp), %rax
movslq -0x78(%rbp), %rcx
movl $0xffffffff, (%rax,%rcx,4) # imm = 0xFFFFFFFF
movq -0x30(%rbp), %rax
cmpq $0x0, 0x1c8(%rax)
je 0x45b724
movq -0x58(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xd0(%rbp)
cmpq $0x0, -0x60(%rbp)
je 0x45b6c3
movq -0x60(%rbp), %rax
movq 0x8(%rax), %rax
movslq -0x78(%rbp), %rcx
movswl (%rax,%rcx,2), %eax
movl %eax, -0xd4(%rbp)
jmp 0x45b6d1
movq -0x58(%rbp), %rax
movswl 0x44(%rax), %eax
movl %eax, -0xd4(%rbp)
movq -0xd0(%rbp), %rax
movl -0xd4(%rbp), %ecx
movslq %ecx, %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movq (%rax), %rax
movq %rax, -0xa0(%rbp)
movq -0x8(%rbp), %rdi
movq -0x58(%rbp), %rax
movq (%rax), %rsi
movq -0xa0(%rbp), %rdx
movl -0x3c(%rbp), %ecx
callq 0x438430
movl %eax, -0x98(%rbp)
cmpl $0x2, -0x98(%rbp)
sete %al
andb $0x1, %al
movzbl %al, %eax
movl %eax, -0x7c(%rbp)
jmp 0x45b726
movl -0x78(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x78(%rbp)
jmp 0x45b64d
movq -0x8(%rbp), %rdi
movl -0x3c(%rbp), %esi
movq -0x58(%rbp), %rax
movl 0x38(%rax), %edx
movq -0x58(%rbp), %rax
movq (%rax), %r8
xorl %ecx, %ecx
callq 0x429f80
movq -0x8(%rbp), %rax
movl 0x34(%rax), %ecx
addl $0x1, %ecx
movl %ecx, 0x34(%rax)
cmpl $0x0, -0x14(%rbp)
je 0x45b796
movq -0x8(%rbp), %rdi
movl -0x3c(%rbp), %esi
movq -0x58(%rbp), %rdx
movq -0x60(%rbp), %rcx
movq -0x38(%rbp), %r8
movq -0x70(%rbp), %r9
movl -0x14(%rbp), %r10d
movl -0x7c(%rbp), %eax
movl %r10d, (%rsp)
movl $0xffffffff, 0x8(%rsp)  # imm = 0xFFFFFFFF
movl %eax, 0x10(%rsp)
callq 0x45cb60
cmpl $0x0, -0x18(%rbp)
je 0x45b7e1
movq -0x8(%rbp), %rdi
movq -0x38(%rbp), %rsi
callq 0x45d040
cmpl $0x0, %eax
jne 0x45b7e1
movq -0x8(%rbp), %rdi
movl -0x3c(%rbp), %esi
movq -0x58(%rbp), %rdx
movq -0x60(%rbp), %rcx
movq -0x38(%rbp), %r8
movq -0x70(%rbp), %r9
movl -0x18(%rbp), %r10d
movl -0x7c(%rbp), %eax
movl %r10d, (%rsp)
movl $0x1, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x45cb60
movq -0x30(%rbp), %rdi
movq -0x68(%rbp), %rsi
callq 0x3c00a0
movq -0x38(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x38(%rbp)
jmp 0x45b46d
movq -0x10(%rbp), %rdi
callq 0x43e590
movq %rax, -0x38(%rbp)
cmpq $0x0, -0x38(%rbp)
je 0x45ba57
movq $0x0, -0xa8(%rbp)
movq $0x0, -0xb8(%rbp)
cmpq $0x0, -0x20(%rbp)
je 0x45b852
movq -0x10(%rbp), %rdi
movq -0x38(%rbp), %rsi
movq -0x20(%rbp), %rdx
movl -0x24(%rbp), %ecx
callq 0x45aef0
cmpl $0x0, %eax
jne 0x45b852
jmp 0x45ba46
movq -0x38(%rbp), %rax
cmpb $0x0, 0x2c(%rax)
jne 0x45b88d
movq -0x30(%rbp), %rax
movq 0x30(%rax), %rax
andq $0x80000, %rax          # imm = 0x80000
cmpq $0x0, %rax
jne 0x45b88d
movq -0x8(%rbp), %rax
cmpq $0x0, 0xa0(%rax)
jne 0x45b88d
movq -0x8(%rbp), %rax
cmpb $0x0, 0x20(%rax)
jne 0x45b88d
jmp 0x45ba46
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
movq -0x38(%rbp), %rdx
leaq -0xa8(%rbp), %rcx
leaq -0xb8(%rbp), %r8
callq 0x45c740
cmpl $0x0, %eax
je 0x45b8ce
cmpl $0x0, -0x4c(%rbp)
je 0x45b8c4
movq -0x30(%rbp), %rax
movzbl 0x61(%rax), %eax
cmpl $0x0, %eax
je 0x45b8c9
jmp 0x45ba57
jmp 0x45ba46
movq -0x8(%rbp), %rdi
xorl %eax, %eax
movl %eax, %ecx
movq %rcx, %rsi
movq %rcx, %rdx
callq 0x41d960
movq %rax, -0xb0(%rbp)
cmpq $0x0, -0xb0(%rbp)
je 0x45ba36
movq -0xb0(%rbp), %rax
addq $0x8, %rax
movq %rax, -0xc0(%rbp)
movq -0x38(%rbp), %rax
movq (%rax), %rcx
movq -0xc0(%rbp), %rax
movq %rcx, 0x20(%rax)
movq -0x38(%rbp), %rax
movq (%rax), %rax
movq (%rax), %rcx
movq -0xc0(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0xc0(%rbp), %rax
movq 0x20(%rax), %rax
movl 0x3c(%rax), %ecx
addl $0x1, %ecx
movl %ecx, 0x3c(%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %ecx
movl %ecx, %edx
addl $0x1, %edx
movl %edx, 0x34(%rax)
movq -0xc0(%rbp), %rax
movl %ecx, 0x40(%rax)
cmpl $0x0, -0x18(%rbp)
je 0x45b996
movq -0x8(%rbp), %rdi
movq -0xb0(%rbp), %rsi
movq -0x10(%rbp), %rdx
movq -0xa8(%rbp), %rcx
movq -0x38(%rbp), %r8
movq -0xb8(%rbp), %r9
movl -0x18(%rbp), %eax
movl %eax, (%rsp)
movl $0xffffffff, 0x8(%rsp)  # imm = 0xFFFFFFFF
callq 0x45d0f0
cmpl $0x0, -0x14(%rbp)
je 0x45ba17
movq -0x38(%rbp), %rax
cmpq $0x0, -0x20(%rbp)
setne %cl
andb $0x1, %cl
movzbl %cl, %ecx
movslq %ecx, %rcx
movzbl 0x2d(%rax,%rcx), %eax
movl %eax, -0xc4(%rbp)
movq -0x8(%rbp), %rdi
movq -0xb0(%rbp), %rsi
movq -0x10(%rbp), %rdx
movq -0xa8(%rbp), %rcx
movq -0x38(%rbp), %r8
movq -0xb8(%rbp), %r9
movl -0x14(%rbp), %eax
movl %eax, (%rsp)
movl $0x1, 0x8(%rsp)
callq 0x45d0f0
movq -0x38(%rbp), %rax
cmpb $0x0, 0x2c(%rax)
jne 0x45ba15
cmpl $0xa, -0xc4(%rbp)
je 0x45ba15
cmpl $0x8, -0xc4(%rbp)
je 0x45ba15
movq -0x8(%rbp), %rdi
callq 0x42e470
jmp 0x45ba17
movq -0xc0(%rbp), %rax
movq $0x0, 0x10(%rax)
movq -0x30(%rbp), %rdi
movq -0xb0(%rbp), %rsi
callq 0x40c9d0
movq -0x30(%rbp), %rdi
movq -0xb8(%rbp), %rsi
callq 0x3c00a0
movq -0x38(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x38(%rbp)
jmp 0x45b80c
addq $0xf0, %rsp
popq %rbp
retq