diff options
| author | Araq <rumpf_a@web.de> | 2013-06-11 00:31:40 +0200 |
|---|---|---|
| committer | Araq <rumpf_a@web.de> | 2013-06-11 00:31:40 +0200 |
| commit | c156f2d4938d6e79844a17ecad8c5c50b9c32354 (patch) | |
| tree | 762a5987d6bd17b80f6ceaf371abf9273ca8b05b /tests/reject/tnotnil1.nim | |
| parent | 8f97f3180abf23d500027accffe6a1895d1a96ac (diff) | |
| download | Nim-c156f2d4938d6e79844a17ecad8c5c50b9c32354.tar.gz | |
next steps for guarded data flow analysis
Diffstat (limited to 'tests/reject/tnotnil1.nim')
| -rw-r--r-- | tests/reject/tnotnil1.nim | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tests/reject/tnotnil1.nim b/tests/reject/tnotnil1.nim index 3535bbd63..222c77376 100644 --- a/tests/reject/tnotnil1.nim +++ b/tests/reject/tnotnil1.nim @@ -1,6 +1,6 @@ discard """ errormsg: "'y' is provably nil" - line:22 + line:25 """ import strutils @@ -15,6 +15,9 @@ proc q(x: pointer not nil) = proc p() = var x: pointer + if not x.isNil: + q(x) + let y = x if not y.isNil: q(y) |