[cfe-commits] [patch] enhance symbolic expressions

[Zhongxing Xu]

This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr,
for representing symbolic expressions like 'x'+3 and 'x'+'y'. Currently we
represent them with SymIntConstraint, but they are not 'constraints' really.
Current constraint managers cannot reason about such symbolic expressions.
Adding them opens the door for more powerful constraint managers.

Theoretically they can represent most of the symbolic expressions
(recursively). No algebraic simplification function is implemented. Such
functionality is planned to be placed in new constraint managers.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20090324/be8c90b0/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: symexpr.patch
Type: application/octet-stream
Size: 9595 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20090324/be8c90b0/attachment.obj>