comment

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@4406 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

regression/cbmc/Zero_Initialization1/main.c

@@ -1,6 +1,8 @@
 #include <assert.h>
 
-// gcc allows the following
+// gcc allows the following 'tentative definitions'.
+// Note that none of these has a size at the time of the
+// variable definition.
 
 union U my_u;