================
@@ -188,8 +227,21 @@ void memset1_new_array() {
int *array = new int[10];
memset(array, 0, 10 * sizeof(int));
clang_analyzer_eval(array[2] == 0); // expected-warning{{TRUE}}
+ // FIXME: The analyzer should stop analysis after memset. Maybe the intent of
+ // this test was to test for this as a desired behaviour, but it shouldn't
be,
+ // going out-of-bounds with memset is a fatal error, even if we decide not to
+ // report it.
memset(array + 1, 'a', 10 * sizeof(9));
clang_analyzer_eval(array[2] == 0); // expected-warning{{UNKNOWN}}
delete[] array;
}
#endif
+
+#ifdef UNINIT_WITHOUT_OUTOFBOUND
----------------
steakhal wrote:
Why do you conditionally disable this function?
Could't you make the expectations conditional instead?
This would increase coverage.
https://github.com/llvm/llvm-project/pull/186802
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
