LookupTable Error - tuple-accessor mismatch: tab[key]

For the given code snippet below, calling the function XFORM.LookupTable(n, GLOBAL.SymTable)
Where n = variable v
GLOBAL.SymTable has NULL in the map which leads to an error

Fix: adding “else if(tab : NULL){ return ""; }” to XFORM.LookupTable Code snippet

static bool is_atomic(struct jsonparse_state *state)
{
char v = state->vtype;
return v == 'N' || v == '"' || v == '0' || v == 'n' || v == 't' || v == 'f';
}

GLOBAL.SymTable value


MAP:{
"state"->PtrType#StructType#(
  "jsonparse_state",
  "")
"_BLOCK_"->MAP:{
"state"->DeclStmt#TypeInfo#(
    IntType#"char",
    "v",
    VarInit#PtrAccess#(
        "state",
        "vtype"))
}
"is_atomic"->FunctionType#(
TypeInfo#(
  PtrType#StructType#(
      "jsonparse_state",
      ""),
  "state",
  ""),
StaticType#"bool")
"jsonparse_state"->StructType#(
"jsonparse_state",
"")
}
NULL

Error

tuple-accessor mismatch: tab[key] Tuple is: POETNULL:NULL; Accessor is: [key] From invoking tab[key] From operator (tab:(first rest))?(res=LookupTable(key,first);(res==""&&deep_search)?(res=LookupTable(key,rest)):("");res):(tab[key]) line 585 of file utils.incl From invoking LookupTable(key,rest) From invoking res=LookupTable(key,rest) line 582 of file utils.incl

qingyi-yan / POET

LookupTable Error - tuple-accessor mismatch: tab[key] #22