Dump the value of the signed unsigned char

Author: NagyDonat

clang/test/Analysis/out-of-bounds.c

@@ -1,6 +1,7 @@
 // RUN: %clang_analyze_cc1 -Wno-array-bounds -analyzer-checker=core,security.ArrayBound,debug.ExprInspection -verify %s
 
 void clang_analyzer_eval(int);
+void clang_analyzer_value(int);
 
 // Tests doing an out-of-bounds access after the end of an array using:
 // - constant integer index
@@ -203,6 +204,7 @@ int test_cast_to_unsigned(signed char x) {
   // load a negative value from an unsigned variable. This causes an underflow
   // report, which is an ugly false positive.
   // The underlying issue is tracked by Github ticket #39492.
+  clang_analyzer_value(y); // expected-warning {{8s:{ [-128, -1] } }}
   return table[y]; // expected-warning {{Out of bound access to memory preceding}}
 }
 
@@ -214,6 +216,7 @@ int test_cast_to_unsigned_overflow(signed char x) {
   // an overflow report (because the negative values are cast to `unsigned
   // char` values that are too large).
   // FIXME: See comment in 'test_cast_to_unsigned'.
+  clang_analyzer_value(y); // expected-warning {{8s:{ [-128, -1] } }}
   return small_table[y]; // expected-warning {{Out of bound access to memory preceding}}
 }