| /dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/ |
| H A D | sat_simplifier.h | 128 void unmark_visited(literal l) { m_visited[l.index()] = false; } in unmark_visited() function
|
| H A D | sat_simplifier.cpp | 380 unmark_visited(l); in unmark_all()
424 unmark_visited(lit); in subsumes1()
534 unmark_visited(l); in subsumes0()
1222 for (literal l : m_covered_clause) s.unmark_visited(l); in minimize_covered_clause()
1262 s.unmark_visited(lit); in minimize_covered_clause()
1371 for (literal l : m_covered_clause) s.unmark_visited(l); in reset_mark()
|
| /dports/math/z3/z3-z3-4.8.13/src/sat/ |
| H A D | sat_simplifier.h | 134 void unmark_visited(literal l) { m_visited[l.index()] = false; } in unmark_visited() function
|
| H A D | sat_simplifier.cpp | 380 unmark_visited(l); in unmark_all()
424 unmark_visited(lit); in subsumes1()
534 unmark_visited(l); in subsumes0()
1223 for (literal l : m_covered_clause) s.unmark_visited(l); in minimize_covered_clause()
1263 s.unmark_visited(lit); in minimize_covered_clause()
1372 for (literal l : m_covered_clause) s.unmark_visited(l); in reset_mark()
|
| /dports/lang/gcc48/gcc-4.8.5/gcc/ |
| H A D | gimplify.c | 1030 unmark_visited (tree *tp) in unmark_visited() function
1042 unmark_visited (&DECL_SAVED_TREE (fndecl)); in unvisit_body()
1043 unmark_visited (&DECL_SIZE (DECL_RESULT (fndecl))); in unvisit_body()
1044 unmark_visited (&DECL_SIZE_UNIT (DECL_RESULT (fndecl))); in unvisit_body()
|
| /dports/devel/mingw32-gcc/gcc-4.8.1/gcc/ |
| H A D | gimplify.c | 1030 unmark_visited (tree *tp) in unmark_visited() function
1042 unmark_visited (&DECL_SAVED_TREE (fndecl)); in unvisit_body()
1043 unmark_visited (&DECL_SIZE (DECL_RESULT (fndecl))); in unvisit_body()
1044 unmark_visited (&DECL_SIZE_UNIT (DECL_RESULT (fndecl))); in unvisit_body()
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ |
| H A D | gimplify.c | 869 unmark_visited (tree *tp) in unmark_visited() function
881 unmark_visited (&DECL_SAVED_TREE (fndecl)); in unvisit_body()
882 unmark_visited (&DECL_SIZE (DECL_RESULT (fndecl))); in unvisit_body()
883 unmark_visited (&DECL_SIZE_UNIT (DECL_RESULT (fndecl))); in unvisit_body()
|
| /dports/lang/gnat_util/gcc-6-20180516/gcc/ |
| H A D | gimplify.c | 908 unmark_visited (tree *tp) in unmark_visited() function
920 unmark_visited (&DECL_SAVED_TREE (fndecl)); in unvisit_body()
921 unmark_visited (&DECL_SIZE (DECL_RESULT (fndecl))); in unvisit_body()
922 unmark_visited (&DECL_SIZE_UNIT (DECL_RESULT (fndecl))); in unvisit_body()
|
| /dports/lang/gcc6-aux/gcc-6-20180516/gcc/ |
| H A D | gimplify.c | 908 unmark_visited (tree *tp) in unmark_visited() function
920 unmark_visited (&DECL_SAVED_TREE (fndecl)); in unvisit_body()
921 unmark_visited (&DECL_SIZE (DECL_RESULT (fndecl))); in unvisit_body()
922 unmark_visited (&DECL_SIZE_UNIT (DECL_RESULT (fndecl))); in unvisit_body()
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ |
| H A D | gimplify.c | 932 unmark_visited (tree *tp) in unmark_visited() function
944 unmark_visited (&DECL_SAVED_TREE (fndecl)); in unvisit_body()
945 unmark_visited (&DECL_SIZE (DECL_RESULT (fndecl))); in unvisit_body()
946 unmark_visited (&DECL_SIZE_UNIT (DECL_RESULT (fndecl))); in unvisit_body()
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ |
| H A D | gimplify.c | 932 unmark_visited (tree *tp) in unmark_visited() function
944 unmark_visited (&DECL_SAVED_TREE (fndecl)); in unvisit_body()
945 unmark_visited (&DECL_SIZE (DECL_RESULT (fndecl))); in unvisit_body()
946 unmark_visited (&DECL_SIZE_UNIT (DECL_RESULT (fndecl))); in unvisit_body()
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ |
| H A D | gimplify.c | 931 unmark_visited (tree *tp) in unmark_visited() function
943 unmark_visited (&DECL_SAVED_TREE (fndecl)); in unvisit_body()
944 unmark_visited (&DECL_SIZE (DECL_RESULT (fndecl))); in unvisit_body()
945 unmark_visited (&DECL_SIZE_UNIT (DECL_RESULT (fndecl))); in unvisit_body()
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ |
| H A D | gimplify.c | 932 unmark_visited (tree *tp) in unmark_visited() function
944 unmark_visited (&DECL_SAVED_TREE (fndecl)); in unvisit_body()
945 unmark_visited (&DECL_SIZE (DECL_RESULT (fndecl))); in unvisit_body()
946 unmark_visited (&DECL_SIZE_UNIT (DECL_RESULT (fndecl))); in unvisit_body()
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ |
| H A D | gimplify.c | 932 unmark_visited (tree *tp) in unmark_visited() function
944 unmark_visited (&DECL_SAVED_TREE (fndecl)); in unvisit_body()
945 unmark_visited (&DECL_SIZE (DECL_RESULT (fndecl))); in unvisit_body()
946 unmark_visited (&DECL_SIZE_UNIT (DECL_RESULT (fndecl))); in unvisit_body()
|
| /dports/lang/gcc8/gcc-8.5.0/gcc/ |
| H A D | gimplify.c | 933 unmark_visited (tree *tp) in unmark_visited() function
945 unmark_visited (&DECL_SAVED_TREE (fndecl)); in unvisit_body()
946 unmark_visited (&DECL_SIZE (DECL_RESULT (fndecl))); in unvisit_body()
947 unmark_visited (&DECL_SIZE_UNIT (DECL_RESULT (fndecl))); in unvisit_body()
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/ |
| H A D | gimplify.c | 958 unmark_visited (tree *tp) in unmark_visited() function
970 unmark_visited (&DECL_SAVED_TREE (fndecl)); in unvisit_body()
971 unmark_visited (&DECL_SIZE (DECL_RESULT (fndecl))); in unvisit_body()
972 unmark_visited (&DECL_SIZE_UNIT (DECL_RESULT (fndecl))); in unvisit_body()
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/ |
| H A D | gimplify.c | 956 unmark_visited (tree *tp) in unmark_visited() function
968 unmark_visited (&DECL_SAVED_TREE (fndecl)); in unvisit_body()
969 unmark_visited (&DECL_SIZE (DECL_RESULT (fndecl))); in unvisit_body()
970 unmark_visited (&DECL_SIZE_UNIT (DECL_RESULT (fndecl))); in unvisit_body()
|
| /dports/lang/gcc9-devel/gcc-9-20211007/gcc/ |
| H A D | gimplify.c | 958 unmark_visited (tree *tp) in unmark_visited() function
970 unmark_visited (&DECL_SAVED_TREE (fndecl)); in unvisit_body()
971 unmark_visited (&DECL_SIZE (DECL_RESULT (fndecl))); in unvisit_body()
972 unmark_visited (&DECL_SIZE_UNIT (DECL_RESULT (fndecl))); in unvisit_body()
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/ |
| H A D | gimplify.c | 991 unmark_visited (tree *tp) in unmark_visited() function
1003 unmark_visited (&DECL_SAVED_TREE (fndecl)); in unvisit_body()
1004 unmark_visited (&DECL_SIZE (DECL_RESULT (fndecl))); in unvisit_body()
1005 unmark_visited (&DECL_SIZE_UNIT (DECL_RESULT (fndecl))); in unvisit_body()
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/ |
| H A D | gimplify.c | 994 unmark_visited (tree *tp) in unmark_visited() function
1006 unmark_visited (&DECL_SAVED_TREE (fndecl)); in unvisit_body()
1007 unmark_visited (&DECL_SIZE (DECL_RESULT (fndecl))); in unvisit_body()
1008 unmark_visited (&DECL_SIZE_UNIT (DECL_RESULT (fndecl))); in unvisit_body()
|
| /dports/lang/gcc10-devel/gcc-10-20211008/gcc/ |
| H A D | gimplify.c | 995 unmark_visited (tree *tp) in unmark_visited() function
1007 unmark_visited (&DECL_SAVED_TREE (fndecl)); in unvisit_body()
1008 unmark_visited (&DECL_SIZE (DECL_RESULT (fndecl))); in unvisit_body()
1009 unmark_visited (&DECL_SIZE_UNIT (DECL_RESULT (fndecl))); in unvisit_body()
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ |
| H A D | gimplify.c | 994 unmark_visited (tree *tp) in unmark_visited() function
1006 unmark_visited (&DECL_SAVED_TREE (fndecl)); in unvisit_body()
1007 unmark_visited (&DECL_SIZE (DECL_RESULT (fndecl))); in unvisit_body()
1008 unmark_visited (&DECL_SIZE_UNIT (DECL_RESULT (fndecl))); in unvisit_body()
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/ |
| H A D | gimplify.c | 995 unmark_visited (tree *tp) in unmark_visited() function
1007 unmark_visited (&DECL_SAVED_TREE (fndecl)); in unvisit_body()
1008 unmark_visited (&DECL_SIZE (DECL_RESULT (fndecl))); in unvisit_body()
1009 unmark_visited (&DECL_SIZE_UNIT (DECL_RESULT (fndecl))); in unvisit_body()
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/ |
| H A D | gimplify.c | 994 unmark_visited (tree *tp) in unmark_visited() function
1006 unmark_visited (&DECL_SAVED_TREE (fndecl)); in unvisit_body()
1007 unmark_visited (&DECL_SIZE (DECL_RESULT (fndecl))); in unvisit_body()
1008 unmark_visited (&DECL_SIZE_UNIT (DECL_RESULT (fndecl))); in unvisit_body()
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/ |
| H A D | gimplify.c | 999 unmark_visited (tree *tp) in unmark_visited() function
1011 unmark_visited (&DECL_SAVED_TREE (fndecl)); in unvisit_body()
1012 unmark_visited (&DECL_SIZE (DECL_RESULT (fndecl))); in unvisit_body()
1013 unmark_visited (&DECL_SIZE_UNIT (DECL_RESULT (fndecl))); in unvisit_body()
|