diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-04-07 18:15:56 -0700 |
|---|---|---|
| committer | Graydon Hoare <graydon@mozilla.com> | 2011-04-08 17:46:46 +0000 |
| commit | 9c001af07c658b9583bde8d138d1d9408274d741 (patch) | |
| tree | adbc1327204422bfbd3c30e36e951a01d7df0c6d /src/rt/rust_crate_cache.cpp | |
| parent | 6109dba305d68db42865c07881d7ffb6d71a1127 (diff) | |
| download | rust-9c001af07c658b9583bde8d138d1d9408274d741.tar.gz rust-9c001af07c658b9583bde8d138d1d9408274d741.zip | |
Implemented computing prestates and poststates for a few expression forms.
The typestate checker (if it's uncommented) now correctly rejects a trivial example program that has an uninitialized variable.
Diffstat (limited to 'src/rt/rust_crate_cache.cpp')
0 files changed, 0 insertions, 0 deletions