repo.or.cz / smatch.git / commit
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
(parent: 5300aad) | patch
constraints: equiv: rename smatch_constraints.c to smatch_equiv.c
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 14 Jan 2013 21:22:34 +0000 (00:22 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 14 Jan 2013 21:22:34 +0000 (00:22 +0300)
commit58eb721ca7d1b36154a16dbff345affc4ddf56a3
tree45422cf3dcdc788df618d3c468082b3933f2bc4etree | snapshot (tar.gz zip)
parent5300aad5d70b2e6580c7139edef32d3769886055commit | diff
constraints: equiv: rename smatch_constraints.c to smatch_equiv.c

When I wrote this I had more ambitious goals for smatch_constraints.c but
now I want to do it a different way.

It will just save a list of the estates which are the same, "a = b;" etc.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Makefile diff | blob | blame | history
smatch_equiv.c [moved from smatch_constraints.c with 100% similarity] blob | blame | history
Static analysis for C