diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2017-04-16 16:02:28 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2017-04-16 16:02:28 +0000 |
| commit | 7442d6faa2719e4e7d33a7021c406c5a4facd74d (patch) | |
| tree | c72b9241553fc9966179aba84f90f17bfa9235c3 /test/Analysis/range_casts.c | |
| parent | b52119637f743680a99710ce5fdb6646da2772af (diff) | |
Diffstat (limited to 'test/Analysis/range_casts.c')
| -rw-r--r-- | test/Analysis/range_casts.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Analysis/range_casts.c b/test/Analysis/range_casts.c index 682369cce66ff..a01ab5d520975 100644 --- a/test/Analysis/range_casts.c +++ b/test/Analysis/range_casts.c @@ -1,5 +1,5 @@ // This test checks that intersecting ranges does not cause 'system is over constrained' assertions in the case of eg: 32 bits unsigned integers getting their range from 64 bits signed integers. -// RUN: %clang_cc1 -triple x86_64-pc-linux-gnu -analyze -analyzer-checker=core,debug.ExprInspection -analyzer-store=region -verify %s +// RUN: %clang_analyze_cc1 -triple x86_64-pc-linux-gnu -analyzer-checker=core,debug.ExprInspection -analyzer-store=region -verify %s void clang_analyzer_warnIfReached(); |