Fix use-after-free in c_typecheck_initializer.cpp

smowton · Nov 24, 2017 · 60ef5aa · 60ef5aa
1 parent 82d42e5
commit 60ef5aa
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/ansi-c/c_typecheck_initializer.cpp b/src/ansi-c/c_typecheck_initializer.cpp
@@ -591,9 +591,9 @@ exprt::operandst::const_iterator c_typecheck_baset::do_designated_initializer(
     if(dest->operands().empty())
     {
       warning().source_location=value.find_source_location();
-      warning() << "initialisation of " << full_type.id()
-                << " requires initializer list, found "
-                << value.id() << " instead" << eom;
+      warning() << "initialisation of " << dest_type.id()
+                << " requires initializer list, found " << value.id()
+                << " instead" << eom;
 
       // in case of a variable-length array consume all remaining
       // initializer elements