projects / cparser / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5eb8a62) | patch
Another attempt to solve the halting problem: Detect variables, which are never read...
authorChristoph Mallon <christoph.mallon@gmx.de>
Mon, 20 Oct 2008 10:46:10 +0000 (10:46 +0000)
committerChristoph Mallon <christoph.mallon@gmx.de>
Mon, 20 Oct 2008 10:46:10 +0000 (10:46 +0000)
commit6496958325046d8e57b6636cb34fe5c6172dbdf1
tree209eb56e7bb819fd08161e28ee736c0b37092e5dtree | snapshot
parent5eb8a62a68fed5c34b30606fa34dad62a0dad8c4commit | diff
Another attempt to solve the halting problem: Detect variables, which are never read.  The test is cheap and could be improved by using dataflow, SSA and fixpoint magic, but of course it is lightyears ahead of GCC.  For example in x = x + 1; x is not marked as read, because it is only used to assign to itself.

[r23026]
ast_t.h diff | blob | history
parser.c diff | blob | history
cparser