diff options
| author |  Unknown <mbarnett@MIKE-SONY.redmond.corp.microsoft.com> | 2012-04-15 09:29:59 -0700 |
|---|---|---|
| committer | Unknown <mbarnett@MIKE-SONY.redmond.corp.microsoft.com> | 2012-04-15 09:29:59 -0700 |
| commit | abec9b49c1cb3d92b3816f1a3849a93e394f14db (patch) | |
| tree | 7ae3081dfd1b8a0194f7be9e67b9f335334b49ed /Source/GPUVerify/UniformExpressionAnalysisVisitor.cs | |
| parent | 585ad085c37e031207005aa394ab77b3117d0055 (diff) | |
Removed expression simplifier (actually just commented
it out for now) and used a simpler scheme for always
assigning compound bound expressions to a local.
Added the ability to assert/assume that an object is
non-null before dereferencing it.
Diffstat (limited to 'Source/GPUVerify/UniformExpressionAnalysisVisitor.cs')
0 files changed, 0 insertions, 0 deletions