aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/null-deref-ps.c
diff options
context:
space:
mode:
Diffstat (limited to 'test/Analysis/null-deref-ps.c')
-rw-r--r--test/Analysis/null-deref-ps.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Analysis/null-deref-ps.c b/test/Analysis/null-deref-ps.c
index 7ca22ada7d..0b4153c834 100644
--- a/test/Analysis/null-deref-ps.c
+++ b/test/Analysis/null-deref-ps.c
@@ -280,7 +280,7 @@ void f12(HF12ITEM i, char *q) {
// Test handling of translating between integer "pointers" and back.
void f13() {
int *x = 0;
- if (((((int) x) << 2) + 1) >> 1) *x = 1; // no-warning
+ if (((((int) x) << 2) + 1) >> 1) *x = 1; // expected-warning{{idempotent operation}}
}
// PR 4759 - Attribute non-null checking by the analyzer was not correctly