From 7e037465903b20e1777b86465afe4c9c663cf75d Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Thu, 7 Jun 2018 17:49:55 +0000
Subject: [PATCH] Avoid using C string functions

---
 src/ansi-c/c_preprocess.cpp | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/src/ansi-c/c_preprocess.cpp b/src/ansi-c/c_preprocess.cpp
index 1fc28c2c302..aed837448b9 100644
--- a/src/ansi-c/c_preprocess.cpp
+++ b/src/ansi-c/c_preprocess.cpp
@@ -14,7 +14,6 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <util/tempfile.h>
 #include <util/unicode.h>
 
-#include <cstring>
 #include <fstream>
 
 #if defined(__linux__) || \
@@ -120,19 +119,19 @@ static void error_parse_line(
 
     while(*tptr!=0)
     {
-      if(strncmp(tptr, " line ", 6)==0 && state!=4)
+      if(has_prefix(tptr, " line ") && state != 4)
       {
         state=1;
         tptr+=6;
         continue;
       }
-      else if(strncmp(tptr, " column ", 8)==0 && state!=4)
+      else if(has_prefix(tptr, " column ") && state != 4)
       {
         state=2;
         tptr+=8;
         continue;
       }
-      else if(strncmp(tptr, " function ", 10)==0 && state!=4)
+      else if(has_prefix(tptr, " function ") && state != 4)
       {
         state=3;
         tptr+=10;