constraints: equiv: rename smatch_constraints.c to smatch_equiv.c
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 14 Jan 2013 21:22:34 +0000 (15 00:22 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 14 Jan 2013 21:22:34 +0000 (15 00:22 +0300)
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
smatch_equiv.c [moved from smatch_constraints.c with 100% similarity]

index 7b639be..0bc4cb0 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -47,7 +47,7 @@ SMATCH_FILES=smatch_flow.o smatch_conditions.o smatch_slist.o smatch_states.o \
        smatch_modification_hooks.o smatch_extra.o smatch_estate.o smatch_math.o \
        smatch_sval.o smatch_ranges.o smatch_implied.o smatch_ignore.o smatch_project.o \
        smatch_tracker.o smatch_files.o smatch_expression_stacks.o \
-       smatch_constraints.o smatch_buf_size.o smatch_capped.o smatch_db.o \
+       smatch_equiv.o smatch_buf_size.o smatch_capped.o smatch_db.o \
        smatch_expressions.o smatch_returns.o smatch_parse_call_math.o \
        smatch_absolute.o smatch_param_limit.o smatch_param_filter.o \
        smatch_param_set.o smatch_comparison.o
similarity index 100%
rename from smatch_constraints.c
rename to smatch_equiv.c