| commit | 98f62f7af9ce3c4f61e2c7aacacd326e56c438e4 | |
| author | ian <ian@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Tue, 14 Jul 2015 00:02:19 +0000 (14 00:02 +0000) | ||
| committer | ian <ian@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Tue, 14 Jul 2015 00:02:19 +0000 (14 00:02 +0000) | ||
| tree | d80b28a4ef8eec4bd392de3526b971218b3c6f9f | treesnapshot (tar.gz zip) |
| parent | dfb41c4d6d03c0f98dbadaf3cffbb44b82da7ec8 | commitdiff |
escape: Analyze multiple result type assertions.
For multi-result type assertions, the object being converted is hidden
behind unsafe conversions and calls to runtime methods. This change
allows the analysis to make edges between the result of the assertion
and the object being asserted.
Reviewed-on: https://go-review.googlesource.com/10661
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@225751 138bc75d-0d04-0410-961f-82ee72b054a4
For multi-result type assertions, the object being converted is hidden
behind unsafe conversions and calls to runtime methods. This change
allows the analysis to make edges between the result of the assertion
and the object being asserted.
Reviewed-on: https://go-review.googlesource.com/10661
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@225751 138bc75d-0d04-0410-961f-82ee72b054a4