Merge pull request #340 from kyleheadley/bugfix#272

Bugfix#272

Author: mwhicks1

clang/lib/3C/ConstraintVariables.cpp

@@ -605,7 +605,7 @@ std::string PointerVariableConstraint::mkString(const EnvironmentMap &E,
     if (!ForItype && BaseType == "void")
       K = Atom::A_Wild;
 
-    if (PrevArr && K != Atom::A_Arr && !EmittedName) {
+    if (PrevArr && arrSizes.at(TypeIdx).first != O_SizedArray && !EmittedName) {
       EmittedName = true;
       addArrayAnnotations(CheckedArrs, EndStrs);
       EndStrs.push_front(" " + getName());

clang/test/3C/patch_issue_272.c

@@ -0,0 +1,11 @@
+// RUN: 3c -alltypes %s -- | FileCheck -match-full-lines %s
+
+/********************************************************************/
+/* Tests to keep pointer level from                                 */
+/* https://github.com/correctcomputation/checkedc-clang/issues/272  */
+/********************************************************************/
+
+int *a[];
+void b() { a[0][0]; }
+
+// CHECK: _Array_ptr<int> a _Checked[1] = {((void *)0)};