scan.cc: extract out infinite_domain
tree13e3180a696a0b4862d08dc952147e5e05e30699
-rw-r--r-- 169 .gitignore
-rw-r--r-- 62 .gitmodules
-rw-r--r-- 1727 Makefile.am
-rw-r--r-- 2378 README
-rwxr-xr-x 83 autogen.sh
-rw-r--r-- 4505 configure.ac
-rw-r--r-- 10801 emit.c
drwxr-xr-x - include
m--------- - isl
drwxr-xr-x - m4
-rw-r--r-- 2568 main.c
-rw-r--r-- 2479 options.c
-rw-r--r-- 466 options.h
-rw-r--r-- 13487 parse.c
-rw-r--r-- 20549 pet.cc
-rw-r--r-- 2783 pet_scop_cmp.c
-rw-r--r-- 179 pet_test.sh.in
-rw-r--r-- 99799 scan.cc
-rw-r--r-- 7700 scan.h
-rw-r--r-- 57300 scop.c
-rw-r--r-- 2815 scop.h
-rw-r--r-- 3067 scop_plus.cc
-rw-r--r-- 215 scop_plus.h
-rw-r--r-- 285 scop_yaml.h
drwxr-xr-x - tests
-rw-r--r-- 84 version.c
-rw-r--r-- 31 version.h