diff --git a/SMPDataFlowAnalysis.cpp b/SMPDataFlowAnalysis.cpp
index cf9a53a72ca817b0952603af29c9cf1a780b5522..fa0c2af74feaf56a06f8dd56b8722166bea10dc8 100644
--- a/SMPDataFlowAnalysis.cpp
+++ b/SMPDataFlowAnalysis.cpp
@@ -442,6 +442,8 @@ SMPOperandType SMPTypeMeet(SMPOperandType Type1, SMPOperandType Type2) {
 		else if (IsNumeric(Type2) || IsUnknown(Type2))
 			MeetType = UNKNOWN;
 	}
+	if (ProfDerived && IsNotEqType(UNINIT, MeetType))
+		MeetType = MakeProfDerived(MeetType);
 	return MeetType;
 } // end of SMPTypeMeet()