/dports/devel/icmake/icmake-9b958b05ac462adf6cde394875964a8127599514/icmake/comp/parser/ |
H A D | pmvreturn.c | 18 ExprType funType = symtab_funType(funIdx); in pmv_return() local
|
/dports/math/cvc3/cvc3-2.4.1/src/include/ |
H A D | type.h | 76 Type funType(const Type& typeRan) const in funType() function
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_datatype/ |
H A D | theory_datatype.cpp | 480 Expr funType = cons.getType().getExpr(); in finiteTypeInfo() local 527 Expr funType = cons.getType().getExpr(); in finiteTypeInfo() local 1034 Expr funType = getBaseType(cons).getExpr(); in dataType() local 1184 Expr funType = getBaseType(cons).getExpr(); in getConstant() local 1200 Expr funType = getBaseType(cons).getExpr(); in getConstant() local
|
/dports/lang/solidity/solidity_0.8.11/libyul/optimiser/ |
H A D | TypeInfo.cpp | 53 auto& funType = functionTypes[_funDef.name]; in operator ()() local
|
/dports/lang/solidity/solidity_0.8.11/libsolidity/formal/ |
H A D | BMC.cpp | 138 …FunctionType const& funType = dynamic_cast<FunctionType const&>(*_funCall.expression().annotation(… in shouldInlineFunctionCall() local 441 …FunctionType const& funType = dynamic_cast<FunctionType const&>(*_funCall.expression().annotation(… in endVisit() local 574 auto const& funType = dynamic_cast<FunctionType const&>(*_funCall.expression().annotation().type); in internalOrExternalFunctionCall() local
|
H A D | CHC.cpp | 530 …FunctionType const& funType = dynamic_cast<FunctionType const&>(*_funCall.expression().annotation(… in endVisit() local 761 FunctionType const& funType = dynamic_cast<FunctionType const&>(*callExpr->annotation().type); in externalFunctionCall() local 840 …FunctionType const& funType = dynamic_cast<FunctionType const&>(*_funCall.expression().annotation(… in externalFunctionCallToTrustedCode() local 890 …FunctionType const& funType = dynamic_cast<FunctionType const&>(*_arrayPop.expression().annotation… in makeArrayPopVerificationTarget() local 1467 …FunctionType const& funType = dynamic_cast<FunctionType const&>(*_funCall.expression().annotation(… in predicate() local 1479 FunctionType const& funType = dynamic_cast<FunctionType const&>(*callExpr->annotation().type); in predicate() local
|
H A D | SMTEncoder.cpp | 574 …FunctionType const& funType = dynamic_cast<FunctionType const&>(*_funCall.expression().annotation(… in visit() local 614 …FunctionType const& funType = dynamic_cast<FunctionType const&>(*_funCall.expression().annotation(… in endVisit() local 762 auto const& funType = dynamic_cast<FunctionType const&>(*_funCall.expression().annotation().type); in visitABIFunction() local 808 auto const& funType = dynamic_cast<FunctionType const&>(*_funCall.expression().annotation().type); in visitCryptoFunction() local 854 auto const& funType = dynamic_cast<FunctionType const&>(*_funCall.expression().annotation().type); in visitAddMulMod() local 2042 if (auto funType = dynamic_cast<FunctionType const*>(funCall->expression().annotation().type)) in assignment() local 2754 auto const& funType = dynamic_cast<FunctionType const&>(*funCall->expression().annotation().type); in isEmptyPush() local 3092 auto funType = dynamic_cast<FunctionType const*>(calledExpr->annotation().type); in symbolicArguments() local
|
/dports/lang/solidity/solidity_0.8.11/libsolidity/codegen/ |
H A D | ExpressionCompiler.cpp | 1408 FunctionType const& funType = dynamic_cast<FunctionType const&>( in visit() local 1454 if (auto funType = dynamic_cast<FunctionType const*>(_memberAccess.annotation().type)) in visit() local 1504 else if (auto funType = dynamic_cast<FunctionType const*>(_memberAccess.annotation().type)) in visit() local 1986 auto funType = dynamic_cast<FunctionType const*>(_memberAccess.annotation().type); in visit() local 2271 if (FunctionType const* funType = dynamic_cast<decltype(funType)>(&_type)) in appendCompareOperatorCode() local
|
H A D | CompilerUtils.cpp | 1324 if (auto const* funType = dynamic_cast<FunctionType const*>(&_type)) in pushZeroValue() local 1561 if (auto const* funType = dynamic_cast<FunctionType const*>(type)) in loadFromMemoryHelper() local
|
H A D | YulUtilFunctions.cpp | 2635 auto const* funType = dynamic_cast<FunctionType const*>(&_type); in readFromStorageValueType() local 2949 auto const* funType = dynamic_cast<FunctionType const*>(&_type); in prepareStoreFunction() local 4304 auto const* funType = dynamic_cast<FunctionType const*>(&_type); in readFromMemoryOrCalldata() local
|
/dports/devel/kdevelop/kdevelop-21.12.3/plugins/qmljs/duchain/tests/ |
H A D | test_qmljsdeclarations.cpp | 104 FunctionType::Ptr funType = fooDec->type<FunctionType>(); in testFunction() local
|
/dports/lang/solidity/solidity_0.8.11/libsolidity/analysis/ |
H A D | FunctionCallGraph.cpp | 158 auto funType = dynamic_cast<FunctionType const*>(_identifier.annotation().type); in visit() local
|
H A D | TypeChecker.cpp | 2924 if (auto const* funType = dynamic_cast<FunctionType const*>(exprType)) in visit() local 2999 if (auto funType = dynamic_cast<FunctionType const*>(annotation.type)) in visit() local
|
/dports/devel/kdevelop/kdevelop-21.12.3/plugins/clang/codegen/ |
H A D | adaptsignatureassistant.cpp | 61 if (auto funType = functionDecl->type<FunctionType>()) { in getDeclarationSignature() local
|
H A D | codegenhelper.cpp | 321 FunctionType::Ptr funType = decl->type<FunctionType>(); in typeForShortenedString() local
|
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/mlir/lib/Dialect/Linalg/IR/ |
H A D | LinalgOps.cpp | 166 LogicalResult verifyFuncArgsGeneric(GenericOpType op, FunctionType funType) { in verifyFuncArgsGeneric() 184 template <> LogicalResult verifyFuncArgs(GenericOp op, FunctionType funType) { in verifyFuncArgs() 208 LogicalResult verifyFuncArgs(IndexedGenericOp op, FunctionType funType) { in verifyFuncArgs() 248 auto funType = funOp ? funOp.getType() : FunctionType(); in verifyGenericOp() local
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_uf/ |
H A D | theory_uf.cpp | 443 Type funType = funExpr.getType(); in computeType() local 619 Type funType(op.getType()); in computeTCC() local
|
/dports/math/cvc3/cvc3-2.4.1/src/translator/ |
H A D | translator.cpp | 634 Type funType; in preprocess2Rec() local 951 Expr funType = Expr(ARROW, e[1][0], e[1][1]); in dump() local
|
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/ |
H A D | Abstract.hs | 93 funType str a = mkPi $ setArgInfo info $ defaultDom (str, a) function
|
/dports/lang/polyml/polyml-5.8.2/mlsource/MLCompiler/ParseTree/ |
H A D | TYPECHECK_PARSETREE.sml | 760 val funType = assValues near f; value 1350 val funType = value 1696 val funType = mkTypeVar(generalisable, false, false, false) value
|
/dports/math/cvc3/cvc3-2.4.1/src/expr/ |
H A D | expr.cpp | 641 Type Type::funType(const std::vector<Type>& typeDom, const Type& typeRan) { in funType() function in CVC3::Type
|
/dports/lang/solidity/solidity_0.8.11/libsolidity/codegen/ir/ |
H A D | IRGeneratorForStatements.cpp | 2091 auto funType = dynamic_cast<FunctionType const*>(_memberAccess.annotation().type); in endVisit() local 2439 FunctionType const& funType = dynamic_cast<FunctionType const&>(type(_functionCall.expression())); in appendExternalFunctionCall() local 2599 FunctionType const& funType = dynamic_cast<FunctionType const&>(type(_functionCall.expression())); in appendBareCall() local
|
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/mlir/lib/Dialect/GPU/IR/ |
H A D | GPUDialect.cpp | 720 FunctionType funType = function.getType(); in verify() local
|
/dports/math/vampire/vampire-4.5.1/Parse/ |
H A D | SMTLIB2.cpp | 1949 OperatorType* funType = Theory::getArrayOperatorType(arraySortIdx,Theory::ARRAY_SELECT); in parseAsBuiltinTermSymbol() local 1983 OperatorType* funType = Theory::getArrayOperatorType(arraySortIdx,Theory::ARRAY_STORE); in parseAsBuiltinTermSymbol() local
|
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/mlir/lib/Dialect/GPU/IR/ |
H A D | GPUDialect.cpp | 785 FunctionType funType = function.getType(); in verify() local
|