[889][      debug] Loading models took 155ms
[890][      debug] Sqlite write daemon: starting up
[890][      debug] Sqlite write daemon: set up complete, waiting for connections
[889][environment] CWD = /nsf
[889][environment] No .inferconfig file found
[889][environment] Project root = /nsf
[889][environment] INFER_ARGS =   @/tmp/args.tmp.61173a
[889][environment] command line arguments:   infer run -- make
[889][environment] Available memory at startup: 596 MB
[889][environment] Active checkers: self-in-block (C/C++/ObjC), starvation (C/C++/ObjC, Java), uninit (C/C++/ObjC), siof (C/C++/ObjC), dotnet-resource-leak (C#/.Net), racerd (C/C++/ObjC, Java), liveness (C/C++/ObjC), inefficient-keyset-iterator (Java), fragment-retains-view (Java), biabduction (C/C++/ObjC, Java, C#/.Net)
[889][environment] Scheduler: file
[889][environment] Cores used: 8
[889][environment] Infer version v1.1.0
[889][environment] Copyright 2009 - present Facebook. All Rights Reserved.
[889][environment] 
[889][   progress] Capturing in make/cc mode...
[889][environment] Running command make with env:
[889][environment] (Extend((PATH /opt/infer-linux64-v1.1.0/lib/infer/infer/bin/../lib/wrappers:/infer/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin)(INFER_OLD_PATH /infer/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin)))
[889][environment] 

[894][environment] CWD = /nsf
[894][environment] No .inferconfig file found
[894][environment] Project root = /nsf
[894][environment] INFER_ARGS =   @/tmp/args.tmp.3458cf
[894][environment] command line arguments:   gcc -DPACKAGE_NAME="nsf" -DPACKAGE_TARNAME="nsf"
[894][environment]                           -DPACKAGE_VERSION="2.4.0"
[894][environment]                           -DPACKAGE_STRING="nsf 2.4.0"
[894][environment]                           -DPACKAGE_BUGREPORT="https://sourceforge.net/p/next-scripting/tickets/"
[894][environment]                           -DPACKAGE_URL="" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1
[894][environment]                           -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1
[894][environment]                           -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1
[894][environment]                           -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1
[894][environment]                           -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1
[894][environment]                           -DHAVE_INTPTR_T=1 -DHAVE_UINTPTR_T=1
[894][environment]                           -DBUILD_nsf=/**/ -DHAVE_STRNSTR=1 -DNO_VALUES_H=1
[894][environment]                           -DHAVE_LIMITS_H=1 -DHAVE_SYS_PARAM_H=1
[894][environment]                           -DHAVE_TCL_COMPILE_H=1 -DNSF_WITH_ASSERTIONS=1
[894][environment]                           -DNSF_PROFILE=1 -DNSF_DEVELOPMENT=1
[894][environment]                           -DUSE_THREAD_ALLOC=1 -D_REENTRANT=1
[894][environment]                           -D_THREAD_SAFE=1 -DTCL_THREADS=1 -DUSE_TCL_STUBS=1
[894][environment]                           -DUSE_TCLOO_STUBS=1
[894][environment]                           -DMODULE_SCOPE=extern __attribute__((__visibility__("hidden")))
[894][environment]                           -DHAVE_HIDDEN=1 -DHAVE_CAST_TO_UNION=1
[894][environment]                           -DTCL_WIDE_INT_IS_LONG=1 -DUSE_TCL_STUBS=1
[894][environment]                           -DCOMPILE_NSF_STUBS=1 -DNSF_VERSION="2.4"
[894][environment]                           -DNSF_PATCHLEVEL="2.4.0"
[894][environment]                           -DNSF_COMMIT="2.3.0-204-g20b47273-dirty"
[894][environment]                           -I/usr/local/src/tcl-trunk/generic
[894][environment]                           -I/usr/local/src/tcl-trunk/unix
[894][environment]                           -I/Users/neumann/src/nsf2.3.0/generic -Os -Wall
[894][environment]                           -pipe -pedantic -g -std=c99 -DTCL_NO_DEPRECATED
[894][environment]                           -Wconversion -Wsign-conversion -Wsign-compare
[894][environment]                           -Wwrite-strings -Wextra
[894][environment]                           -Wdeclaration-after-statement -Wendif-labels
[894][environment]                           -Wshadow -Wmissing-prototypes -Wstrict-prototypes
[894][environment]                           -Wpacked -Wno-redundant-decls
[894][environment]                           -Wno-zero-length-array -Wmissing-braces
[894][environment]                           -Wmissing-declarations -Wundef -Wunreachable-code
[894][environment]                           -Wswitch-enum -Wpointer-arith
[894][environment]                           -Wold-style-definition -Wmissing-format-attribute
[894][environment]                           -Wformat-security -Wall -fno-common -c
[894][environment]                           ./generic/nsf.c -o nsf.o
[894][environment] Available memory at startup: 560 MB
[894][environment] Active checkers: self-in-block (C/C++/ObjC), starvation (C/C++/ObjC, Java), uninit (C/C++/ObjC), siof (C/C++/ObjC), dotnet-resource-leak (C#/.Net), racerd (C/C++/ObjC, Java), liveness (C/C++/ObjC), inefficient-keyset-iterator (Java), fragment-retains-view (Java), biabduction (C/C++/ObjC, Java, C#/.Net)
[894][      debug] 
[894][      debug] *** Beginning capture of file /nsf/generic/nsf.c ***
[894][      debug] Loading the following linters files: /opt/infer-linux64-v1.1.0/lib/infer/infer/bin/../lib/linter_rules/linters.al
[894][      debug] generic/nsf.c:681:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfDListAppend' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:833:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfDStringEval' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'NsfLog' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:1071:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ParseContextExtendObjv' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:1258:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'CallMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:1312:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfCallMethodWithArgs' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'VarHashCreateVar' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:1396:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'Nsf_NextHashEntry' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:1513:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfIsClass' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:1548:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'Nsf_ObjSetVar2' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'Nsf_ObjGetVar2' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:1591:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'Nsf_UnsetVar2' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:1618:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfCreate' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:1659:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfRemoveObjectMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:1685:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfRemoveClassMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:1819:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'IsClassNsName' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:1819:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'IsClassNsName' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:1889:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'DStringAppendQualName' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:1929:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfCleanupObject_' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:1985:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'TclObjIsNsfObject' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'GetObjectFromObj' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:2273:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'GetClassFromObj' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:2362:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'IsObjectOfType' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:2397:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NameInNamespaceObj' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:2437:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NewTclCommand' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:2547:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfClassListAdd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:2596:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfClassListAddNoDup' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:2745:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfClassListUnlink' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:3167:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'MergeInheritanceLists' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:3264:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'TopoSortSuper' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:3394:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'PrecedenceOrder' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:3562:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'RemoveInstance' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:3600:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'AddSuper' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:3633:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'RemoveSuper1' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:3633:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'RemoveSuper1' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:3633:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'RemoveSuper1' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:3704:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'GetEnsembleObjectFromName' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:3759:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'GetRegObject' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:3968:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ResolveMethodName' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:4098:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'GetTclProcFromCommand' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'FindMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:4428:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ObjectFindMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:4504:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ObjectSystemFree' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:4736:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'CallDirectly' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:4804:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfRequireObjectOpt' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:4834:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfRequireClassOpt' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'MakeObjNamespace' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'CompiledLocalsLookup' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:5217:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'CompiledColonLocalsLookup' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:5318:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfMethodNamePath' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:5471:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsColonVarResolver' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'HashVarFree' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'CompiledColonVarFetch' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:5678:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'CompiledColonVarFree' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'InterpCompiledColonVarResolver' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:5799:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'InterpGetFrameAndFlags' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:5974:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'InterpColonVarResolver' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:6120:7: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'InterpColonCmdResolver' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:6279:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'SlotContainerCmdResolver' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'RequireObjNamespace' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:6374:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NSNamespaceRelease' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:6402:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NSDeleteCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:6507:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NSDeleteChild' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:6689:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'UnsetTracedVars' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:6828:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'Nsf_DeleteNamespace' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:6882:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NSValidObjectName' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'NSGetFreshNamespace' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:6984:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NSRequireParentObject' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'NSCheckNamespace' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'NSFindCommand' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'GetObjectFromString' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:7404:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'CanRedefineCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:7455:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfAddObjectMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:7521:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfAddClassMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:7605:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'AutonameIncr' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'CallStackDoDestroy' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:7839:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'CallStackDestroyObject' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:7934:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'CmdListAdd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:7985:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'CmdListAddSorted' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:8045:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'CmdListDeleteCmdListEntry' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:8079:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'CmdListRemoveFromList' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:8274:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'CheckConditionInScope' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:8346:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'TclObjListNewElement' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:8450:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'AddObjToTclList' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:8476:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'AssertionNewList' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:8509:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'AssertionListCheckOption' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'AssertionFindProcs' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'AssertionRemoveProc' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:8568:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'AssertionRemoveProc' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:8630:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'AssertionRemoveStore' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:8732:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'AssertionCheckList' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:8775:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'AssertionCheckInvars' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:8824:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'AssertionCheck' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:8876:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'AssertionSetCheckOptions' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'AssertionSetInvariants' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:10889:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'GuardDel' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:9201:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'MixinComputeOrder' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:9266:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'MixinAdd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'AppendMatchingElement' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:9486:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'GetAllInstances' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:9528:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'AddToResultSet' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:9588:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'AddToResultSetWithGuards' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:9700:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'GetAllObjectMixinsOf' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:9893:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'GetAllClassMixinsOf' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:9981:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'GetAllClassMixins' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:10215:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ResetOrderOfObjectsUsingThisClassAsObjectMixin' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:10319:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'MixinComputeDefined' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:3394:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'PrecedenceOrder' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:10370:9: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ComputePrecedenceList' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:10422:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'SeekCurrent' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:10467:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'CanInvokeMixinMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:10634:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'MixinSearchProc' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:10798:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'FilterSearch' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:10862:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'GuardCheck' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'GuardDel' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'GuardAdd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:10940:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'GuardCall' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:10983:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'GuardAddFromDefinitionList' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:11070:7: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'GuardAddInheritedGuards' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'GuardList' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:11295:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'FilterAdd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:10889:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'GuardDel' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:10889:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'GuardDel' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:10889:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'GuardDel' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:11740:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'FilterComputeOrder' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'FilterComputeDefined' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:11926:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'FilterFindReg' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'FilterSearchProc' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'SuperclassAdd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:12264:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'VarExists' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:12424:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ByteCompiled' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:12496:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'PushProcCallFrame' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:12709:67: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ParamFree' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:12779:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ParamDefsGet' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'ParamDefsGetReturns' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'NsfParamDefsNonposLookup' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:12995:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'CGetParamLookup' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:13044:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfProcDeleteProc' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:13094:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ProcContextRequire' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:13124:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ProcContextGet' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'ParamDefsStore' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:13249:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ParamDefsFree' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:13249:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ParamDefsFree' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:13362:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ParamsDefMatchPattern' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:13617:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ParamGetType' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:13617:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ParamGetType' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:13748:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfParamDefsVirtualFormat' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:13795:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfParamDefsAppendVirtual' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:13939:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ParsedParamFree' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:14014:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ProcMethodDispatchFinalize' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:14077:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ProcDispatchFinalize' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:14288:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ProcMethodDispatch' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:14359:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'CmdMethodDispatch' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:14770:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ObjectCmdMethodDispatch' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:15042:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'MethodDispatchCsc' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:15085:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'MethodDispatch' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:15211:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ObjectDispatchFinalize' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:15329:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'CmdObjProcName' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:15518:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'CacheCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:16126:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ObjectDispatch' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:16187:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'DispatchDefaultMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:16298:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'DispatchDestroyMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:16353:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'DispatchInitMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:16460:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'DispatchUnknownMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:16798:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'Nsf_ConvertToTclobj' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:16839:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'Nsf_ConvertToBoolean' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:16881:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'Nsf_ConvertToInt32' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:16985:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'Nsf_ConvertToInteger' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:17059:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'Nsf_ConvertToObject' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:17101:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'Nsf_ConvertToClass' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:17144:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'Nsf_ConvertToFilterreg' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:17185:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'Nsf_ConvertToMixinreg' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:17352:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ConvertViaCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'ConvertToObjpattern' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:17495:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ParamOptionSetConverter' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:17913:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ParamOptionParse' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:12709:67: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ParamFree' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:18253:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ParamDefinitionParse' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:18360:7: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ParamDefsParse' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:18496:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ParameterMethodForwardDispatch' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:18735:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ParameterMethodDispatch' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:18925:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'MakeProc' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:19055:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'MakeMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:19089:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfProcStubDeleteProc' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:19158:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'InvokeShadowedProc' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:19337:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfProcStub' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:19547:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfProcAdd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:19639:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ProcessMethodArguments' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:19704:60: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ForwardCmdDeleteProc' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:19735:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'SetterCmdDeleteProc' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:19812:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'AliasCmdDeleteProc' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:19853:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'GetMatchObject' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:19991:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ForwardProcessOptions' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:20153:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'AddSlotObjects' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:20213:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'FindCalledClass' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'NextSearchMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:20516:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NextGetArguments' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:20599:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NextInvokeFinalize' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:20881:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NextSearchAndInvoke' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:20955:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfNextObjCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'FindNextMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'ComputeLevelObj' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:21181:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'UnsetInAllNamespaces' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'FreeUnsetTraceVariable' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:21310:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfUnsetTrace' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'CleanupDestroyObject' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:21464:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'CleanupInitObject' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'PrimitiveDestroy' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'TclDeletesObject' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'PrimitiveODestroy' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:21684:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'DoDealloc' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:21778:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'PrimitiveOInit' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:21855:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'PrimitiveOCreate' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:21945:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'DefaultSuperClass' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:22113:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'CleanupDestroyClass' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:3600:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'AddSuper' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:22205:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'CleanupInitClass' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:22286:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'PrimitiveCDestroy' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:22326:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'PrimitiveCInit' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:22405:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'PrimitiveCCreate' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:3562:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'RemoveInstance' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:22470:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ChangeClass' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:22584:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'DoObjInitialization' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:22716:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'IsMetaClass' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:22942:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ImportInstVarIntoCurrentScope' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'SetInstVar' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:23077:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'SetInstArray' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'UnsetInstVar' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:23205:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfSetterMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:23288:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfForwardPrintError' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:23578:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ForwardArg' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:23664:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'CallForwarder' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:23897:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfForwardMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:24047:7: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'IsDashArg' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:24116:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'CallConfigureMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:24203:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'CallingNameSpace' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:24307:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ArgumentCheckHelper' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:24437:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ArgumentCheck' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:24629:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ArgumentDefaults' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:25160:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ArgumentParse' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'ListVarKeys' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:25372:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'GetOriginalCommand' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:25632:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ListCmdParams' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'AppendForwardDefinition' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'AppendMethodRegistration' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'AppendReturnsClause' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'DisassembleProc' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'ListMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:26471:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ListMethodResolve' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:26524:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'MethodSourceMatches' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:26577:7: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'MethodTypeMatches' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:26914:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ListMethodKeys' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'ListChildren' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:27059:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ListForward' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'ListDefinedMethods' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'ListSuperClasses' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:27381:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'AliasGet' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:27424:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'AliasDeleteObjectReference' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:27497:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'AliasRefetch' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'AliasDereference' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:27614:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'SetBooleanFlag' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:27703:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfDebugShowObj' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'NsfDebugGetDict' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:28027:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfUnsetUnknownArgsCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:28250:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfConfigureCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:28350:9: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfColonCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:28437:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfDirectDispatchCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:28618:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfFinalizeCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:28686:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfInterpObjCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:28740:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfIsCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:28823:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfParseArgsCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:29060:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfMethodAliasCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:29122:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfMethodAssertionCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'NsfMethodCreateCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:29227:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfMethodDeleteCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:29304:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfMethodForwardCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:29380:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfForwardPropertyCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:29558:7: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfMethodPropertyCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:29676:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfMethodSetterCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:29738:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfObjectAllocCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:29867:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfObjectPropertyCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:3600:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'AddSuper' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:30008:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfObjectSystemCreateCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:30086:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfMyCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:30147:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfNextCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:30281:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfNSCopyVarsCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:30395:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfParameterInfoCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'NsfParameterCacheClassInvalidateCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'NsfParameterCacheObjectInvalidateCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:30592:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfParameterSpecsCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:30650:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfProcCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:30742:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfRelationClassMixinsSet' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:31008:7: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfRelationSetCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:31242:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfCurrentCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'NsfSelfCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'NsfVarExistsCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:31396:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfVarSetCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'NsfVarUnsetCmd' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:31501:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ParamFreeInternalRep' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:31575:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ParamSetFromAny2' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:31676:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ComputeParameterDefinition' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:31775:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'GetObjectParameterDefinition' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:31848:43: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ParameterCheck' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'NsfOAutonameMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:31957:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfOCleanupMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:31981:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'GetSlotObject' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:32358:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfOConfigureMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:32493:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfOCgetMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:32563:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfODestroyMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:32620:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfOFilterGuardMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:32648:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfOInstvarMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'NsfOMixinGuardMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:32836:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfOResidualargsMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:32939:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfOUplevelMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:33000:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfOUpvarMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:33125:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'VolatileMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:33183:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfCAllocMethod_' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:33249:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfCAllocMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:33461:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfCCreateMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'NsfCDeallocMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'NsfCFilterGuardMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'NsfCGetCachendParametersMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'NsfCMixinGuardMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:33675:7: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfCNewMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:33748:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'RecreateObject' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'NsfCRecreateMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:33983:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfObjInfoLookupFilterMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:34030:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfObjInfoLookupMethodMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:34147:9: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfObjInfoLookupMethodsMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:34216:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfObjInfoLookupSlotsMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:34331:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfObjInfoParentMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'NsfObjInfoPrecedenceMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:34426:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfObjInfoVarsMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:34522:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfClassInfoHeritageMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:34682:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfClassInfoMethodsMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:34746:5: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfClassInfoMixinsMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:34860:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'NsfClassInfoMixinOfMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'NsfClassInfoSlotobjectsMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'NsfClassInfoSubclassMethod' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:35139:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'FinalObjectDeletion' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr
Aborting translation of method 'DeleteNsfProcs' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:35308:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'ObjectHasChildren' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] generic/nsf.c:36147:3: ERROR translating statement 'OpaqueValueExpr'
[894][      debug] 
[894][ intern err] Aborting translation of method 'Nsf_Init' in file 'generic/nsf.c'
Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr

[894][      debug] Elapsed: 3.349s.
[894][      debug] 
[894][ extern err] Error: the following clang command did not run successfully:
[894][ extern err]     /opt/infer-linux64-v1.1.0/lib/infer/facebook-clang-plugins/clang/install/bin/clang-11
[894][ extern err]     @/nsf/infer-out/tmp/clang_command_.tmp.e307ea.txt  ++Contents of '/nsf/infer-out/tmp/clang_command_.tmp.e307ea.txt':
[894][ extern err]                                                          "-cc1" "-load"
[894][ extern err]                                                          "/opt/infer-linux64-v1.1.0/lib/infer/infer/bin/../../facebook-clang-plugins/libtooling/build/FacebookClangPlugin.dylib"
[894][ extern err]                                                          "-add-plugin"
[894][ extern err]                                                          "BiniouASTExporter"
[894][ extern err]                                                          "-plugin-arg-BiniouASTExporter"
[894][ extern err]                                                          "-"
[894][ extern err]                                                          "-plugin-arg-BiniouASTExporter"
[894][ extern err]                                                          "PREPEND_CURRENT_DIR=1"
[894][ extern err]                                                          "-plugin-arg-BiniouASTExporter"
[894][ extern err]                                                          "MAX_STRING_SIZE=65535"
[894][ extern err]                                                          "-cc1" "-triple"
[894][ extern err]                                                          "x86_64-unknown-linux-gnu"
[894][ extern err]                                                          "-emit-obj"
[894][ extern err]                                                          "-disable-free"
[894][ extern err]                                                          "-disable-llvm-verifier"
[894][ extern err]                                                          "-discard-value-names"
[894][ extern err]                                                          "-main-file-name"
[894][ extern err]                                                          "nsf.c"
[894][ extern err]                                                          "-mrelocation-model"
[894][ extern err]                                                          "static"
[894][ extern err]                                                          "-mframe-pointer=none"
[894][ extern err]                                                          "-fmath-errno"
[894][ extern err]                                                          "-fno-rounding-math"
[894][ extern err]                                                          "-mconstructor-aliases"
[894][ extern err]                                                          "-munwind-tables"
[894][ extern err]                                                          "-target-cpu"
[894][ extern err]                                                          "x86-64"
[894][ extern err]                                                          "-fno-split-dwarf-inlining"
[894][ extern err]                                                          "-debug-info-kind=limited"
[894][ extern err]                                                          "-dwarf-version=4"
[894][ extern err]                                                          "-debugger-tuning=gdb"
[894][ extern err]                                                          "-resource-dir"
[894][ extern err]                                                          "/opt/infer-linux64-v1.1.0/lib/infer/facebook-clang-plugins/clang/install/lib/clang/11.1.0"
[894][ extern err]                                                          "-include"
[894][ extern err]                                                          "/opt/infer-linux64-v1.1.0/lib/infer/infer/bin/../lib/clang_wrappers/global_defines.h"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "PACKAGE_NAME=\"nsf\""
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "PACKAGE_TARNAME=\"nsf\""
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "PACKAGE_VERSION=\"2.4.0\""
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "PACKAGE_STRING=\"nsf 2.4.0\""
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "PACKAGE_BUGREPORT=\"https://sourceforge.net/p/next-scripting/tickets/\""
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "PACKAGE_URL=\"\""
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "HAVE_STDIO_H=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "HAVE_STDLIB_H=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "HAVE_STRING_H=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "HAVE_INTTYPES_H=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "HAVE_STDINT_H=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "HAVE_STRINGS_H=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "HAVE_SYS_STAT_H=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "HAVE_SYS_TYPES_H=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "HAVE_UNISTD_H=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "STDC_HEADERS=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "HAVE_INTPTR_T=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "HAVE_UINTPTR_T=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "BUILD_nsf=/**/"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "HAVE_STRNSTR=1"
[894][ extern err]                                                          "-D" "NO_VALUES_H=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "HAVE_LIMITS_H=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "HAVE_SYS_PARAM_H=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "HAVE_TCL_COMPILE_H=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "NSF_WITH_ASSERTIONS=1"
[894][ extern err]                                                          "-D" "NSF_PROFILE=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "NSF_DEVELOPMENT=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "USE_THREAD_ALLOC=1"
[894][ extern err]                                                          "-D" "_REENTRANT=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "_THREAD_SAFE=1"
[894][ extern err]                                                          "-D" "TCL_THREADS=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "USE_TCL_STUBS=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "USE_TCLOO_STUBS=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "MODULE_SCOPE=extern __attribute__((__visibility__(\"hidden\")))"
[894][ extern err]                                                          "-D" "HAVE_HIDDEN=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "HAVE_CAST_TO_UNION=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "TCL_WIDE_INT_IS_LONG=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "USE_TCL_STUBS=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "COMPILE_NSF_STUBS=1"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "NSF_VERSION=\"2.4\""
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "NSF_PATCHLEVEL=\"2.4.0\""
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "NSF_COMMIT=\"2.3.0-204-g20b47273-dirty\""
[894][ extern err]                                                          "-I"
[894][ extern err]                                                          "/usr/local/src/tcl-trunk/generic"
[894][ extern err]                                                          "-I"
[894][ extern err]                                                          "/usr/local/src/tcl-trunk/unix"
[894][ extern err]                                                          "-I"
[894][ extern err]                                                          "/Users/neumann/src/nsf2.3.0/generic"
[894][ extern err]                                                          "-D"
[894][ extern err]                                                          "TCL_NO_DEPRECATED"
[894][ extern err]                                                          "-internal-isystem"
[894][ extern err]                                                          "/usr/local/include"
[894][ extern err]                                                          "-internal-isystem"
[894][ extern err]                                                          "/opt/infer-linux64-v1.1.0/lib/infer/facebook-clang-plugins/clang/install/lib/clang/11.1.0/include"
[894][ extern err]                                                          "-internal-externc-isystem"
[894][ extern err]                                                          "/usr/include/x86_64-linux-gnu"
[894][ extern err]                                                          "-internal-externc-isystem"
[894][ extern err]                                                          "/include"
[894][ extern err]                                                          "-internal-externc-isystem"
[894][ extern err]                                                          "/usr/include" "-Os"
[894][ extern err]                                                          "-Wall"
[894][ extern err]                                                          "-Wconversion"
[894][ extern err]                                                          "-Wsign-conversion"
[894][ extern err]                                                          "-Wsign-compare"
[894][ extern err]                                                          "-Wwrite-strings"
[894][ extern err]                                                          "-Wextra"
[894][ extern err]                                                          "-Wdeclaration-after-statement"
[894][ extern err]                                                          "-Wendif-labels"
[894][ extern err]                                                          "-Wshadow"
[894][ extern err]                                                          "-Wmissing-prototypes"
[894][ extern err]                                                          "-Wstrict-prototypes"
[894][ extern err]                                                          "-Wpacked"
[894][ extern err]                                                          "-Wno-redundant-decls"
[894][ extern err]                                                          "-Wno-zero-length-array"
[894][ extern err]                                                          "-Wmissing-braces"
[894][ extern err]                                                          "-Wmissing-declarations"
[894][ extern err]                                                          "-Wundef"
[894][ extern err]                                                          "-Wunreachable-code"
[894][ extern err]                                                          "-Wswitch-enum"
[894][ extern err]                                                          "-Wpointer-arith"
[894][ extern err]                                                          "-Wold-style-definition"
[894][ extern err]                                                          "-Wmissing-format-attribute"
[894][ extern err]                                                          "-Wformat-security"
[894][ extern err]                                                          "-Wall"
[894][ extern err]                                                          "-Wno-ignored-optimization-argument"
[894][ extern err]                                                          "-Wno-everything"
[894][ extern err]                                                          "-pedantic"
[894][ extern err]                                                          "-std=c99"
[894][ extern err]                                                          "-fconst-strings"
[894][ extern err]                                                          "-fdebug-compilation-dir"
[894][ extern err]                                                          "/nsf"
[894][ extern err]                                                          "-ferror-limit" "19"
[894][ extern err]                                                          "-fgnuc-version=4.2.1"
[894][ extern err]                                                          "-vectorize-loops"
[894][ extern err]                                                          "-vectorize-slp"
[894][ extern err]                                                          "-o" "nsf.o" "-x"
[894][ extern err]                                                          "c"
[894][ extern err]                                                          "./generic/nsf.c"
[894][ extern err]                                                          "-O0" "-include"
[894][ extern err]                                                          "/opt/infer-linux64-v1.1.0/lib/infer/infer/bin/../lib/clang_wrappers/global_defines.h"
[894][ extern err]                                                          "-Wno-everything"
[894][ extern err]                                                        
[894][ extern err] 
[894][environment] Scheduler: file
[894][environment] Cores used: 8
[894][environment] [889][ extern err] *** capture command failed:
*** make
*** exited with code 2

[889][ extern err] Raised at Stdlib__scanf.bad_input in file "scanf.ml" (inlined), line 444, characters 18-40
Called from Stdlib__scanf.scanf_bad_input in file "scanf.ml", line 1164, characters 4-75
Called from IBase__Utils.get_available_memory_MB.scan_for_expected_output in file "src/base/Utils.ml", line 447, characters 10-86

[890][      debug] Sqlite write daemon: terminating
