diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-01-13 01:49:57 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-01-13 01:49:57 +0000 |
commit | cff637a568540d3847ae037b2a5279d043b17080 (patch) | |
tree | 1645b4b3972a21ce59442de67a90a1a8db862cf2 /clang/test/Analysis/array-struct.c | |
parent | f9d3f0711a95eafeb672aafa37792897a7f16cf9 (diff) | |
download | bcm5719-llvm-cff637a568540d3847ae037b2a5279d043b17080.tar.gz bcm5719-llvm-cff637a568540d3847ae037b2a5279d043b17080.zip |
Add KillStruct to region store.
- put the killed region in the kill set.
- set its default value to unknown.
- removes all bindings for its subregions.
llvm-svn: 62138
Diffstat (limited to 'clang/test/Analysis/array-struct.c')
-rw-r--r-- | clang/test/Analysis/array-struct.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clang/test/Analysis/array-struct.c b/clang/test/Analysis/array-struct.c index dd43a6d704b..8f4bb044ba8 100644 --- a/clang/test/Analysis/array-struct.c +++ b/clang/test/Analysis/array-struct.c @@ -46,6 +46,7 @@ void f4() { } // Struct variable in lvalue context. +// Assign UnknownVal to the whole struct. void f5() { struct s data; g1(&data); |