diff --git a/src/script_opt/ProfileFunc.cc b/src/script_opt/ProfileFunc.cc index b29bf068d4..5d6e8d8566 100644 --- a/src/script_opt/ProfileFunc.cc +++ b/src/script_opt/ProfileFunc.cc @@ -174,7 +174,11 @@ TraversalCode ProfileFunc::PreStmt(const Stmt* s) if ( idl ) { for ( auto id : *idl ) - locals.insert(id); + // Make sure it's not a placeholder + // identifier, used when there's + // no explicit one. + if ( id->Name() ) + locals.insert(id); is_type_switch = true; }