Fixed handling of __FUNCTION__

[splint.git] / src / exprNode.c

diff --git a/src/exprNode.c b/src/exprNode.c
index 21118e53b0c14c585acf46a5814e847e5e414087..3547de0cef9c1b8e17d1691bafc2e38cb0b19b2d 100644 (file)
--- a/src/exprNode.c
+++ b/src/exprNode.c
@@ -926,6 +926,22 @@ exprNode exprNode_fromUIO (cstring c)
   return (e);
 }
 
+exprNode exprNode_makeConstantString (cstring c, /*@only@*/ fileloc loc)
+{
+  exprNode e  = exprNode_createPlain (ctype_unknown);
+  e->kind = XPR_VAR;
+  e->loc = loc; 
+  e->sref = sRef_makeConst (ctype_string);
+  e->edata = exprData_makeId (uentry_makeUnrecognized (c, fileloc_copy (loc)));
+  e->typ = ctype_string;
+
+  /* No alias errors for unrecognized identifiers */
+  sRef_setAliasKind (e->sref, AK_STATIC, loc); 
+  sRef_setExKind (e->sref, XO_OBSERVER, loc);
+  
+  return (e);
+}
+
 exprNode exprNode_createId (/*@observer@*/ uentry c)
 {
   if (uentry_isValid (c))