diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-02-01 05:07:49 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-02-01 05:07:49 -0800 |
commit | 88441bdc4ddfec01e7d6a7e7387b555f2e98eb96 (patch) | |
tree | de806526e9b7156ce04293c4841c3bd1bd22a91e /configure | |
parent | 04be6d65c9bae10780f463c23a14922249c187de (diff) | |
download | open-axiom-88441bdc4ddfec01e7d6a7e7387b555f2e98eb96.tar.gz |
Better indirect call resolution
The infrastructure put in place in the last few commits now enables
better indirect calls ('SPADCALL') to operations implemented in the
same capsule. The improvement here is that the limitation of
unconditional definition is removed. Now, even conditional
definitions are resolved as long as the its predicate and the
predicate of the current function match.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions