diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-05-09 15:34:29 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-05-09 15:34:29 +0000 |
| commit | c9c3dab491f05375195b6243ab67e1da39ef4411 (patch) | |
| tree | cb9a37fe7777b885d18db4d91731116351523c8e /clang/test/Analysis/fields.c | |
| parent | 4131114d99ce6b8dadac534df876788e22e33369 (diff) | |
| download | bcm5719-llvm-c9c3dab491f05375195b6243ab67e1da39ef4411.tar.gz bcm5719-llvm-c9c3dab491f05375195b6243ab67e1da39ef4411.zip | |
When casting VarRegion, if the var type is aggregate type and the cast-to
pointee type is scalar type, create element region regardless with the sizes
of types.
llvm-svn: 71360
Diffstat (limited to 'clang/test/Analysis/fields.c')
| -rw-r--r-- | clang/test/Analysis/fields.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/clang/test/Analysis/fields.c b/clang/test/Analysis/fields.c index 8b88578a0e9..c012a9da7b8 100644 --- a/clang/test/Analysis/fields.c +++ b/clang/test/Analysis/fields.c @@ -1,6 +1,5 @@ // RUN: clang-cc -analyze -checker-cfref %s --analyzer-store=basic -verify && // RUN: clang-cc -analyze -checker-cfref %s --analyzer-store=region -verify -// XFAIL unsigned foo(); typedef struct bf { unsigned x:2; } bf; |
