From 2422c3be1bcd1d0ba378e01e67bfa21c8dc86472 Mon Sep 17 00:00:00 2001 From: Christian Banse Date: Fri, 15 Nov 2024 21:03:23 +0100 Subject: [PATCH] Removed basetype assert --- .../aisec/cpg/frontends/cxx/ExpressionHandler.kt | 8 -------- 1 file changed, 8 deletions(-) diff --git a/cpg-language-cxx/src/main/kotlin/de/fraunhofer/aisec/cpg/frontends/cxx/ExpressionHandler.kt b/cpg-language-cxx/src/main/kotlin/de/fraunhofer/aisec/cpg/frontends/cxx/ExpressionHandler.kt index cc36bf2ed4..464b7bc4a2 100644 --- a/cpg-language-cxx/src/main/kotlin/de/fraunhofer/aisec/cpg/frontends/cxx/ExpressionHandler.kt +++ b/cpg-language-cxx/src/main/kotlin/de/fraunhofer/aisec/cpg/frontends/cxx/ExpressionHandler.kt @@ -30,7 +30,6 @@ import de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration import de.fraunhofer.aisec.cpg.graph.declarations.MethodDeclaration import de.fraunhofer.aisec.cpg.graph.statements.expressions.* import de.fraunhofer.aisec.cpg.graph.types.FunctionType -import de.fraunhofer.aisec.cpg.graph.types.SecondOrderType import de.fraunhofer.aisec.cpg.graph.types.Type import de.fraunhofer.aisec.cpg.helpers.Util import de.fraunhofer.aisec.cpg.passes.SymbolResolver.Companion.addImplicitTemplateParametersToCall @@ -428,13 +427,6 @@ class ExpressionHandler(lang: CXXLanguageFrontend) : val callExpression: CallExpression when { reference is MemberExpression -> { - val baseType = reference.base.type.root - if (baseType is SecondOrderType) { - return newProblemExpression( - problem = "Expected something other than a `SecondOrderType` as base.", - rawNode = ctx - ) - } callExpression = newMemberCallExpression(reference, rawNode = ctx) if ( (ctx.functionNameExpression as? IASTFieldReference)?.fieldName