[Ada] Adapt body of formal sets and maps for SPARK
[official-gcc.git] / gcc / cp / 
tree488a77bc44efe3ff25bd5cbc84d35f56f20851be
drwxr-xr-x   ..
-rw-r--r-- 71161 ChangeLog
-rw-r--r-- 23691 ChangeLog-1993
-rw-r--r-- 198599 ChangeLog-1994
-rw-r--r-- 139152 ChangeLog-1995
-rw-r--r-- 146460 ChangeLog-1996
-rw-r--r-- 92162 ChangeLog-1997
-rw-r--r-- 257204 ChangeLog-1998
-rw-r--r-- 250035 ChangeLog-1999
-rw-r--r-- 266670 ChangeLog-2000
-rw-r--r-- 137544 ChangeLog-2001
-rw-r--r-- 160359 ChangeLog-2002
-rw-r--r-- 237579 ChangeLog-2003
-rw-r--r-- 247654 ChangeLog-2004
-rw-r--r-- 117848 ChangeLog-2005
-rw-r--r-- 115079 ChangeLog-2006
-rw-r--r-- 115453 ChangeLog-2007
-rw-r--r-- 113084 ChangeLog-2008
-rw-r--r-- 129970 ChangeLog-2009
-rw-r--r-- 138968 ChangeLog-2010
-rw-r--r-- 165732 ChangeLog-2011
-rw-r--r-- 105379 ChangeLog-2012
-rw-r--r-- 147207 ChangeLog-2013
-rw-r--r-- 134641 ChangeLog-2014
-rw-r--r-- 149103 ChangeLog-2015
-rw-r--r-- 151493 ChangeLog-2016
-rw-r--r-- 217975 ChangeLog-2017
-rw-r--r-- 200347 ChangeLog-2018
-rw-r--r-- 217611 ChangeLog-2019
-rw-r--r-- 228717 ChangeLog-2020
-rw-r--r-- 187454 ChangeLog-2021
-rw-r--r-- 2642 ChangeLog.ptr
-rw-r--r-- 19172 ChangeLog.tree-ssa
-rw-r--r-- 11960 Make-lang.in
-rw-r--r-- 419297 call.cc
-rw-r--r-- 9802 cfns.gperf
-rw-r--r-- 33286 cfns.h
-rw-r--r-- 330924 class.cc
-rw-r--r-- 2199 config-lang.in
-rw-r--r-- 294666 constexpr.cc
-rw-r--r-- 117025 constraint.cc
-rw-r--r-- 182693 coroutines.cc
-rw-r--r-- 95212 cp-gimplify.cc
-rw-r--r-- 8939 cp-lang.cc
-rw-r--r-- 1502 cp-name-hint.h
-rw-r--r-- 16536 cp-objcp-common.cc
-rw-r--r-- 9200 cp-objcp-common.h
-rw-r--r-- 26967 cp-tree.def
-rw-r--r-- 344830 cp-tree.h
-rw-r--r-- 11028 cp-ubsan.cc
-rw-r--r-- 66496 cvt.cc
-rw-r--r-- 73456 cxx-pretty-print.cc
-rw-r--r-- 4609 cxx-pretty-print.h
-rw-r--r-- 593316 decl.cc
-rw-r--r-- 1963 decl.h
-rw-r--r-- 188943 decl2.cc
-rw-r--r-- 8312 dump.cc
-rw-r--r-- 132406 error.cc
-rw-r--r-- 40825 except.cc
-rw-r--r-- 10784 expr.cc
-rw-r--r-- 20084 friend.cc
-rw-r--r-- 11791 g++spec.cc
-rw-r--r-- 175515 init.cc
-rw-r--r-- 47989 lambda.cc
-rw-r--r-- 5183 lang-specs.h
-rw-r--r-- 30079 lex.cc
-rw-r--r-- 22460 logic.cc
-rw-r--r-- 130606 mangle.cc
-rw-r--r-- 8532 mapper-client.cc
-rw-r--r-- 1653 mapper-client.h
-rw-r--r-- 1110 mapper-resolver.cc
-rw-r--r-- 108002 method.cc
-rw-r--r-- 526949 module.cc
-rw-r--r-- 259316 name-lookup.cc
-rw-r--r-- 18435 name-lookup.h
-rw-r--r-- 6848 operators.def
-rw-r--r-- 23109 optimize.cc
-rw-r--r-- 1499727 parser.cc
-rw-r--r-- 16916 parser.h
-rw-r--r-- 967456 pt.cc
-rw-r--r-- 12671 ptree.cc
-rw-r--r-- 51134 rtti.cc
-rw-r--r-- 80146 search.cc
-rw-r--r-- 374273 semantics.cc
-rw-r--r-- 176740 tree.cc
-rw-r--r-- 1877 type-utils.h
-rw-r--r-- 357586 typeck.cc
-rw-r--r-- 80630 typeck2.cc
-rw-r--r-- 50455 vtable-class-hierarchy.cc