git.ipfire.org Git - thirdparty/gcc.git/history

]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/sem_util.adb

projects / thirdparty / gcc.git / history

[thirdparty/gcc.git] / gcc / ada / sem_util.adb

2020-06-02	Gary Dismukes	[Ada] Unnesting bugs with array renamings generated...	blob \| commitdiff \| raw
2020-06-02	Piotr Trojanek	[Ada] Remove dead code for detecting hidden package...	blob \| commitdiff \| raw \| diff to current
2020-06-02	Arnaud Charlet	[Ada] Address potentially uninitialized variables and...	blob \| commitdiff \| raw \| diff to current
2020-06-02	Piotr Trojanek	[Ada] Reuse Is_Package_Or_Generic_Package where possible	blob \| commitdiff \| raw \| diff to current
2020-05-25	Yannick Moy	[Ada] Fix spurious error on checking of null Abstract_State	blob \| commitdiff \| raw \| diff to current
2019-12-16	Eric Botcazou	[Ada] Fully propagate representation aspects through...	blob \| commitdiff \| raw \| diff to current
2019-12-16	Eric Botcazou	[Ada] Fix couple of oversights in the implementation...	blob \| commitdiff \| raw \| diff to current
2019-12-16	Gary Dismukes	[Ada] Minor reformatting and U.S. spelling adjustment	blob \| commitdiff \| raw \| diff to current
2019-12-16	Eric Botcazou	[Ada] Small consistency fix for Volatile_Full_Access...	blob \| commitdiff \| raw \| diff to current
2019-12-16	Eric Botcazou	[Ada] Implement new legality rules introduced in C...	blob \| commitdiff \| raw \| diff to current
2019-12-13	Eric Botcazou	[Ada] Clear confusion about subcomponents of atomic...	blob \| commitdiff \| raw \| diff to current
2019-12-13	Yannick Moy	[Ada] Avoid spurious mismatch error of assertion policy...	blob \| commitdiff \| raw \| diff to current
2019-12-13	Yannick Moy	[Ada] Prevent inlining inside condition of while loop...	blob \| commitdiff \| raw \| diff to current
2019-12-13	Gary Dismukes	[Ada] Up-level addressing problems with private tasks...	blob \| commitdiff \| raw \| diff to current
2019-12-13	Justin Squirek	[Ada] Missing accessibility checks on conditionals	blob \| commitdiff \| raw \| diff to current
2019-12-12	Gary Dismukes	[Ada] Fix a number of typos, plus minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-12-12	Ed Schonberg	[Ada] Constraint is ignored on constrained access recor...	blob \| commitdiff \| raw \| diff to current
2019-12-12	Justin Squirek	[Ada] Crash on use of Loop_Entry, Result, and Old as...	blob \| commitdiff \| raw \| diff to current
2019-10-12	Eric Botcazou	re PR ada/91995 (gnat miscompilation and bootstrap...	blob \| commitdiff \| raw \| diff to current
2019-10-10	Gary Dismukes	[Ada] Various minor typo fixes	blob \| commitdiff \| raw \| diff to current
2019-10-10	Gary Dismukes	[Ada] Unnesting issues with entry families and accept...	blob \| commitdiff \| raw \| diff to current
2019-09-19	Eric Botcazou	[Ada] Fix bogus visibility error with nested generics...	blob \| commitdiff \| raw \| diff to current
2019-09-19	Piotr Trojanek	[Ada] Remove duplicated routines for getting homonym...	blob \| commitdiff \| raw \| diff to current
2019-09-18	Justin Squirek	[Ada] Spurious run time error on anonymous access formals	blob \| commitdiff \| raw \| diff to current
2019-09-18	Steve Baird	[Ada] Implement AI12-0086's rules for discriminants...	blob \| commitdiff \| raw \| diff to current
2019-09-18	Piotr Trojanek	[Ada] Refine type of Get_Homonym_Number result	blob \| commitdiff \| raw \| diff to current
2019-09-18	Yannick Moy	[Ada] Skip entity name qualification in GNATprove mode	blob \| commitdiff \| raw \| diff to current
2019-09-17	Steve Baird	[Ada] Don't accept illegal (e.g., Integer'(null)) gener...	blob \| commitdiff \| raw \| diff to current
2019-09-17	Piotr Trojanek	[Ada] A new utility routine for detecting attribute...	blob \| commitdiff \| raw \| diff to current
2019-08-21	Piotr Trojanek	[Ada] Do not rewrite argument of pragma Entry_Queue_Len...	blob \| commitdiff \| raw \| diff to current
2019-08-21	Javier Miranda	[Ada] Missing attribute update in new_copy_tree	blob \| commitdiff \| raw \| diff to current
2019-08-21	Justin Squirek	[Ada] Max_Entry_Queue_Length aspect for protected entries	blob \| commitdiff \| raw \| diff to current
2019-08-20	Bob Duff	[Ada] Pragma Warning_As_Error works for style warnings	blob \| commitdiff \| raw \| diff to current
2019-08-19	Gary Dismukes	[Ada] Improve warnings about "too few elements" and...	blob \| commitdiff \| raw \| diff to current
2019-08-14	Javier Miranda	[Ada] Sem_Util: fix a bug in New_Copy_Tree	blob \| commitdiff \| raw \| diff to current
2019-08-14	Ed Schonberg	[Ada] Crash on precondition involving quantified expression	blob \| commitdiff \| raw \| diff to current
2019-08-13	Yannick Moy	[Ada] Complete the more extended AST traversal used...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Ed Schonberg	[Ada] Crash on illegal left-hand side in assignment...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Yannick Moy	[Ada] New aspect/pragma No_Caching for analysis of...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Yannick Moy	[Ada] Adapt new extended traversal of AST to have optio...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Yannick Moy	[Ada] Extended traversal subprograms for GNATprove	blob \| commitdiff \| raw \| diff to current
2019-07-11	Piotr Trojanek	[Ada] Minor refactoring	blob \| commitdiff \| raw \| diff to current
2019-07-11	Hristian Kirtchev	[Ada] Infinite loop on illegal declaration	blob \| commitdiff \| raw \| diff to current
2019-07-11	Hristian Kirtchev	[Ada] Missing finalization of private protected type	blob \| commitdiff \| raw \| diff to current
2019-07-10	Justin Squirek	[Ada] Documentation of Img attribute out of date	blob \| commitdiff \| raw \| diff to current
2019-07-10	Simon Buist	[Ada] Entity names are not unique	blob \| commitdiff \| raw \| diff to current
2019-07-10	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-10	Yannick Moy	[Ada] Fix crashes on ownership checking in SPARK	blob \| commitdiff \| raw \| diff to current
2019-07-09	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-09	Ed Schonberg	[Ada] Fix scopes for local variables in task/protected...	blob \| commitdiff \| raw \| diff to current
2019-07-08	Piotr Trojanek	[Ada] Remove dead code from Enclosing_Package_Or_Subpro...	blob \| commitdiff \| raw \| diff to current
2019-07-05	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-05	Javier Miranda	[Ada] Wrong accessibility level under -gnat12	blob \| commitdiff \| raw \| diff to current
2019-07-05	Ed Schonberg	[Ada] Spurious error on aggregate with choice that...	blob \| commitdiff \| raw \| diff to current
2019-07-05	Yannick Moy	[Ada] Fix inlining in GNATprove inside quantified expre...	blob \| commitdiff \| raw \| diff to current
2019-07-04	Hristian Kirtchev	[Ada] Assertion failure on Default_Initial_Condition	blob \| commitdiff \| raw \| diff to current
2019-07-04	Piotr Trojanek	[Ada] Minor typo fixes	blob \| commitdiff \| raw \| diff to current
2019-07-04	Yannick Moy	[Ada] Synchronized object definition in SPARK updated	blob \| commitdiff \| raw \| diff to current
2019-07-03	Hristian Kirtchev	[Ada] ABE checks v3.0, foundations of Elaboration order...	blob \| commitdiff \| raw \| diff to current
2019-07-01	Piotr Trojanek	[Ada] Remove a SPARK rule about implicit Global	blob \| commitdiff \| raw \| diff to current
2019-07-01	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-01-08	Pierre-Marie de...	[Ada] Bump copyright years to 2019	blob \| commitdiff \| raw \| diff to current
2018-12-11	Ed Schonberg	[Ada] Crash on misplaced First operation for GNAT itera...	blob \| commitdiff \| raw \| diff to current
2018-12-11	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-12-11	Piotr Trojanek	[Ada] Stubs that complete generic subprogram do have...	blob \| commitdiff \| raw \| diff to current
2018-12-11	Yannick Moy	[Ada] Support access types in GNATprove	blob \| commitdiff \| raw \| diff to current
2018-12-03	Gary Dismukes	[Ada] Fixes for various wrong and missing error message...	blob \| commitdiff \| raw \| diff to current
2018-12-03	Hristian Kirtchev	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2018-11-14	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-11-14	Hristian Kirtchev	[Ada] Crash on ignored Ghost assignment	blob \| commitdiff \| raw \| diff to current
2018-11-14	Piotr Trojanek	[Ada] Record components do not appear in the Global...	blob \| commitdiff \| raw \| diff to current
2018-11-14	Hristian Kirtchev	[Ada] Lingering loop for ignored Ghost assignment	blob \| commitdiff \| raw \| diff to current
2018-09-26	Eric Botcazou	[Ada] Preparation for new description of interface...	blob \| commitdiff \| raw \| diff to current
2018-08-21	Hristian Kirtchev	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2018-08-21	Ed Schonberg	[Ada] Spurious "Duplicated symbol" error with discrimin...	blob \| commitdiff \| raw \| diff to current
2018-07-17	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-07-17	Ed Schonberg	[Ada] Fix Enclosing_Subprogram for protected entries...	blob \| commitdiff \| raw \| diff to current
2018-07-17	Hristian Kirtchev	[Ada] New ignored Ghost code removal mechanism	blob \| commitdiff \| raw \| diff to current
2018-07-17	Piotr Trojanek	[Ada] Fix Next_Actual when used on calls "inlined for...	blob \| commitdiff \| raw \| diff to current
2018-07-17	Ed Schonberg	[Ada] Fix unnesting issues involving tasks	blob \| commitdiff \| raw \| diff to current
2018-07-17	Hristian Kirtchev	[Ada] Spurious error on unused Part_Of constituent	blob \| commitdiff \| raw \| diff to current
2018-07-17	Ed Schonberg	[Ada] Fix handling of inherited discriminant constraints	blob \| commitdiff \| raw \| diff to current
2018-07-17	Hristian Kirtchev	[Ada] Crash on case expression in build-in-place function	blob \| commitdiff \| raw \| diff to current
2018-07-16	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-07-16	Hristian Kirtchev	[Ada] Spurious error with null Abstract_State	blob \| commitdiff \| raw \| diff to current
2018-07-16	Javier Miranda	[Ada] Sem_Utils: make Has_Prefix public	blob \| commitdiff \| raw \| diff to current
2018-06-11	Hristian Kirtchev	[Ada] Suppress the expansion of ignored assertion pragmas	blob \| commitdiff \| raw \| diff to current
2018-06-11	Piotr Trojanek	[Ada] Fix handling of Pre/Post contracts with AND THEN...	blob \| commitdiff \| raw \| diff to current
2018-06-11	Javier Miranda	[Ada] Wrong code in array aggregates of Ada coextensions	blob \| commitdiff \| raw \| diff to current
2018-06-11	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-06-11	Hristian Kirtchev	[Ada] Performance degradation with references	blob \| commitdiff \| raw \| diff to current
2018-05-31	Javier Miranda	[Ada] Fix compiler crash for tagged private types	blob \| commitdiff \| raw \| diff to current
2018-05-30	Yannick Moy	[Ada] Correctly ignore Assertion_Policy in modes CodePe...	blob \| commitdiff \| raw \| diff to current
2018-05-30	Gary Dismukes	[Ada] Fix several typos	blob \| commitdiff \| raw \| diff to current
2018-05-30	Piotr Trojanek	[Ada] Reuse Is_Rewrite_Substitution where possible	blob \| commitdiff \| raw \| diff to current
2018-05-30	Hristian Kirtchev	[Ada] Spurious error on legal synchronized constituent	blob \| commitdiff \| raw \| diff to current
2018-05-30	Bob Duff	[Ada] Secondary stack leak in "for X of ..." loops	blob \| commitdiff \| raw \| diff to current
2018-05-30	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-05-29	Javier Miranda	[Ada] Wrong equality on untagged private type	blob \| commitdiff \| raw \| diff to current
2018-05-28	Yannick Moy	[Ada] Update FE check following change in SPARK RM...	blob \| commitdiff \| raw \| diff to current
next

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom