// File: /workspace/github_c_makefile_star2_O3/barabo[P]advanced-shell-history/src/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 */
){
  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].zName;

  /* 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 isIgnore = 0;

    /* 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 iReg = pFKey->aCol[i].iFrom + regOld + 1;
          sqlite3VdbeAddOp2(v, OP_IsNull, iReg, iJump);
        }
        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;
      }
#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);
        isIgnore = (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,isIgnore);
    }
    if( regNew!=0 ){
      /* 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. */ 
      fkLookupParent(pParse, iDb, pTo, pIdx, pFKey, aiCol, regNew, +1,isIgnore);
    }

    sqlite3DbFree(db, aiFree);
  }

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

    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 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 a single table (the table 
    ** the foreign key that refers to this table is attached to). This
    ** is required for the sqlite3WhereXXX() interface.  */
    pSrc = sqlite3SrcListAppend(db, 0, 0, 0);
    if( pSrc ){
      struct SrcList_item *pItem = pSrc->a;
      pItem->pTab = pFKey->pFrom;
      pItem->zName = pFKey->pFrom->zName;
      pItem->pTab->nRef++;
      pItem->iCursor = pParse->nTab++;
  
      if( regNew!=0 ){
        fkScanChildren(pParse, pSrc, pTab, pIdx, pFKey, aiCol, regNew, -1);
      }
      if( regOld!=0 ){
        /* If there is a RESTRICT action configured for the current operation
        ** on the parent table of this FK, then throw an exception 
        ** immediately if the FK constraint is violated, even if this is a
        ** deferred trigger. That's what RESTRICT means. To defer checking
        ** the constraint, the FK should specify NO ACTION (represented
        ** using OE_None). NO ACTION is the default.  */
        fkScanChildren(pParse, pSrc, pTab, pIdx, pFKey, aiCol, regOld, 1);
      }
      pItem->zName = 0;
      sqlite3SrcListDelete(db, pSrc);
    }
    sqlite3DbFree(db, aiCol);
  }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rcx, -0x88(%rbp)
movq %rdx, -0x68(%rbp)
movq %rsi, -0x58(%rbp)
movq %rdi, %r12
movq (%rdi), %rdi
testb $0x8, 0x2e(%rdi)
jne 0x5cbd8
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq -0x58(%rbp), %rax
movq 0x68(%rax), %rax
testq %rax, %rax
je 0x5cc0d
movl 0x28(%rdi), %ecx
testl %ecx, %ecx
jle 0x5cc18
movq 0x20(%rdi), %rdx
addq $0x18, %rdx
xorl %esi, %esi
cmpq %rax, (%rdx)
je 0x5cc22
incq %rsi
addq $0x20, %rdx
cmpq %rsi, %rcx
jne 0x5cbf6
movq %rcx, -0x40(%rbp)
jmp 0x5cc26
movl $0xfff0bdc0, %eax       # imm = 0xFFF0BDC0
movq %rax, -0x40(%rbp)
jmp 0x5cc26
movq $0x0, -0x40(%rbp)
jmp 0x5cc26
movq %rsi, -0x40(%rbp)
movb 0x1f6(%r12), %al
movb %al, -0x29(%rbp)
movq -0x58(%rbp), %rax
movq 0x20(%rax), %r14
testq %r14, %r14
movq %r12, -0x60(%rbp)
movq %rdi, -0x38(%rbp)
je 0x5cea2
movq 0x20(%rdi), %rax
movslq -0x40(%rbp), %rcx
shlq $0x5, %rcx
movq (%rax,%rcx), %rbx
movq -0x68(%rbp), %rax
leal 0x1(%rax), %r13d
movq %rbx, -0x80(%rbp)
movl %r13d, -0x74(%rbp)
xorl %eax, %eax
movq %rax, -0x50(%rbp)
movq %rax, -0x48(%rbp)
cmpb $0x0, 0x1f6(%r12)
movq 0x10(%r14), %rdx
je 0x5cc90
movq %rdx, %rsi
movq %rbx, %rdx
callq 0x341ce
jmp 0x5cc9d
movq %r12, %rdi
xorl %esi, %esi
movq %rbx, %rcx
callq 0x117b5
movq %rax, %r15
testq %rax, %rax
je 0x5ccc3
movq %r12, %rdi
movq %r15, %rsi
movq %r14, %rdx
leaq -0x50(%rbp), %rcx
leaq -0x48(%rbp), %r8
callq 0x5ddac
testl %eax, %eax
je 0x5cd58
cmpb $0x0, -0x29(%rbp)
movq -0x38(%rbp), %rdi
je 0x5cbc9
cmpb $0x0, 0x50(%rdi)
jne 0x5cbc9
testq %r15, %r15
jne 0x5ce95
movq %r12, %rdi
callq 0x45ece
movq %rax, %r15
movl 0x28(%r14), %eax
testl %eax, %eax
jle 0x5cd31
movl 0x34(%r15), %ecx
leal (%rcx,%rax), %r12d
incl %r12d
leaq 0x40(%r14), %rbx
xorl %r13d, %r13d
movl (%rbx), %edx
addl -0x74(%rbp), %edx
movq %r15, %rdi
movl $0x49, %esi
movl %r12d, %ecx
xorl %r8d, %r8d
callq 0x45f15
incq %r13
movslq 0x28(%r14), %rax
addq $0x10, %rbx
cmpq %rax, %r13
jl 0x5cd09
movzbl 0x2c(%r14), %edx
movq %r15, %rdi
movl $0x7b, %esi
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
xorl %r8d, %r8d
callq 0x45f15
movq -0x60(%rbp), %r12
movq -0x38(%rbp), %rdi
jmp 0x5ce91
movq -0x48(%rbp), %rdx
testq %rdx, %rdx
jne 0x5cd6c
movl 0x40(%r14), %eax
movl %eax, -0x78(%rbp)
leaq -0x78(%rbp), %rdx
cmpl $0x0, 0x28(%r14)
movq %rdx, -0x70(%rbp)
jle 0x5cdfc
xorl %ebx, %ebx
movq -0x50(%rbp), %r12
xorl %r13d, %r13d
movq -0x38(%rbp), %rcx
movq -0x58(%rbp), %rax
movswl 0x40(%rax), %eax
cmpl %eax, (%rdx,%rbx,4)
jne 0x5cd9c
movl $0xffffffff, (%rdx,%rbx,4) # imm = 0xFFFFFFFF
cmpq $0x0, 0x180(%rcx)
je 0x5cdee
testq %r12, %r12
je 0x5cdb5
movq 0x8(%r12), %rax
movl (%rax,%rbx,4), %eax
jmp 0x5cdba
movswl 0x40(%r15), %eax
movq -0x40(%rbp), %rcx
movq 0x8(%r15), %rdx
cltq
leaq (%rax,%rax,2), %rax
shlq $0x4, %rax
movq (%rdx,%rax), %rdx
movq (%r15), %rsi
movq -0x60(%rbp), %rdi
callq 0x48cbc
xorl %r13d, %r13d
cmpl $0x2, %eax
sete %r13b
movq -0x38(%rbp), %rcx
movq -0x70(%rbp), %rdx
incq %rbx
movslq 0x28(%r14), %rax
cmpq %rax, %rbx
jl 0x5cd88
jmp 0x5cdff
xorl %r13d, %r13d
movl 0x3c(%r15), %edx
movq (%r15), %r8
movq -0x60(%rbp), %r12
movq %r12, %rdi
movq -0x40(%rbp), %rbx
movl %ebx, %esi
xorl %ecx, %ecx
callq 0x46018
incl 0x54(%r12)
movq -0x68(%rbp), %rax
testl %eax, %eax
je 0x5ce4c
movq -0x50(%rbp), %rcx
subq $0x8, %rsp
movq %r12, %rdi
movl %ebx, %esi
movq %r15, %rdx
movq %r14, %r8
movq -0x70(%rbp), %r9
pushq %r13
pushq $-0x1
pushq %rax
callq 0x5e16f
addq $0x20, %rsp
movq -0x88(%rbp), %rax
testl %eax, %eax
je 0x5ce7e
movq -0x50(%rbp), %rcx
subq $0x8, %rsp
movq %r12, %rdi
movq -0x40(%rbp), %rsi
movq %r15, %rdx
movq %r14, %r8
movq -0x70(%rbp), %r9
pushq %r13
pushq $0x1
pushq %rax
callq 0x5e16f
addq $0x20, %rsp
movq -0x48(%rbp), %rsi
movq -0x38(%rbp), %rbx
movq %rbx, %rdi
callq 0x9ca4
movq %rbx, %rdi
movq -0x80(%rbp), %rbx
movq 0x8(%r14), %r14
testq %r14, %r14
jne 0x5cc6a
movq -0x58(%rbp), %rdi
callq 0x4fce3
movq -0x38(%rbp), %r14
testq %rax, %rax
je 0x5cbc9
movq %rax, %rbx
xorl %r13d, %r13d
leaq -0x48(%rbp), %r15
movq %r13, -0x50(%rbp)
movq %r13, -0x48(%rbp)
cmpb $0x0, 0x2c(%rbx)
jne 0x5ceee
testb $0x1, 0x2f(%r14)
jne 0x5ceee
cmpq $0x0, 0x1d8(%r12)
jne 0x5ceee
cmpb $0x0, 0x23(%r12)
je 0x5cfe5
movq %r12, %rdi
movq -0x58(%rbp), %rsi
movq %rbx, %rdx
leaq -0x50(%rbp), %rcx
movq %r15, %r8
callq 0x5ddac
testl %eax, %eax
je 0x5cf26
cmpb $0x0, -0x29(%rbp)
movq -0x38(%rbp), %r14
je 0x5cbc9
cmpb $0x0, 0x50(%r14)
je 0x5cfe5
jmp 0x5cbc9
movq -0x38(%rbp), %r14
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
xorl %ecx, %ecx
callq 0x3dc99
testq %rax, %rax
je 0x5cfd5
movq %rax, %r12
movq (%rbx), %rax
movq %rax, 0x28(%r12)
movq (%rax), %rcx
movq %rcx, 0x18(%r12)
incw 0x44(%rax)
movq -0x60(%rbp), %rdi
movl 0x54(%rdi), %eax
leal 0x1(%rax), %ecx
movl %ecx, 0x54(%rdi)
movl %eax, 0x44(%r12)
movq -0x88(%rbp), %rax
testl %eax, %eax
je 0x5cf93
movq -0x50(%rbp), %rcx
movq -0x48(%rbp), %r9
movq %r12, %rsi
movq -0x58(%rbp), %rdx
movq %rbx, %r8
pushq $-0x1
pushq %rax
callq 0x5e6fc
addq $0x10, %rsp
movq -0x68(%rbp), %rax
testl %eax, %eax
je 0x5cfbd
movq -0x50(%rbp), %rcx
movq -0x48(%rbp), %r9
movq -0x60(%rbp), %rdi
movq %r12, %rsi
movq -0x58(%rbp), %rdx
movq %rbx, %r8
pushq $0x1
pushq %rax
callq 0x5e6fc
addq $0x10, %rsp
movq $0x0, 0x18(%r12)
movq -0x38(%rbp), %r14
movq %r14, %rdi
movq %r12, %rsi
callq 0x3493b
movq -0x48(%rbp), %rsi
movq %r14, %rdi
callq 0x9ca4
movq -0x60(%rbp), %r12
movq 0x18(%rbx), %rbx
testq %rbx, %rbx
jne 0x5cec2
jmp 0x5cbc9