diff options
| author | Andrei Karas <akaras@inbox.ru> | 2015-07-10 02:05:36 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2015-07-10 02:22:33 +0300 |
| commit | af2870c4e5af24c6671d23e1e7a0bf0855416a6c (patch) | |
| tree | 17c28d64c6875ee5e35bc9c3d66f80ca91928198 /test/test34.cpp | |
| parent | 4e5bece0cc29f7068c5c46c173d385f3e6e75482 (diff) | |
| download | paranucker-af2870c4e5af24c6671d23e1e7a0bf0855416a6c.tar.gz paranucker-af2870c4e5af24c6671d23e1e7a0bf0855416a6c.tar.bz2 paranucker-af2870c4e5af24c6671d23e1e7a0bf0855416a6c.tar.xz paranucker-af2870c4e5af24c6671d23e1e7a0bf0855416a6c.zip | |
Update test 34.
Diffstat (limited to 'test/test34.cpp')
| -rw-r--r-- | test/test34.cpp | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/test/test34.cpp b/test/test34.cpp index 13e6dc1..8baa9fe 100644 --- a/test/test34.cpp +++ b/test/test34.cpp @@ -25,6 +25,11 @@ class Object1 return tmp2; } + Data1 *getData2() __attribute__((returns_nonnull)) + { + return tmp2; + } + void func1(Data1 *ptr1) { paranuckerInternalTest("=", "knownVars", "ptr1"); @@ -285,4 +290,39 @@ class Object1 paranuckerInternalTest("=", "removeNullVars", ""); paranuckerInternalTest("=", "removeNullVarsAll", ""); } + + void func8(Data1 *ptr1) + { + paranuckerInternalTest("=", "knownVars", "ptr1"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1"); + paranuckerInternalTest("=", "addNullVars", ""); + paranuckerInternalTest("=", "removeNullVars", ""); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + while (ptr1 && ptr1->val == 100) + { + paranuckerInternalTest("=", "knownVars", "ptr1"); + paranuckerInternalTest("=", "knownNonNullVars", "ptr1"); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", ""); + paranuckerInternalTest("=", "addNullVars", ""); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + ptr1 = getData2(); + paranuckerInternalTest("=", "knownVars", "ptr1"); + paranuckerInternalTest("=", "knownNonNullVars", "ptr1"); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", ""); + paranuckerInternalTest("=", "addNullVars", ""); + paranuckerInternalTest("=", "removeNullVars", "ptr1"); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + } + paranuckerInternalTest("=", "knownVars", "ptr1"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1"); + paranuckerInternalTest("=", "addNullVars", ""); + paranuckerInternalTest("=", "removeNullVars", ""); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + } }; |