No matches were found for subject:"Bug#499395\: splint\: Unrecognized identifier\: strdup \(string.h is included\)"