diff --git a/backends/p4tools/p4tools.def b/backends/p4tools/p4tools.def index dc4ba07728..988be28034 100644 --- a/backends/p4tools/p4tools.def +++ b/backends/p4tools/p4tools.def @@ -208,7 +208,7 @@ public: inline cstring concolicMethodName = ""; toString { - cstring argumentStr; + cstring argumentStr = ""; cstring sep = ""; for (const auto *arg : *arguments) { argumentStr += sep + arg->toString();