/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/ |
H A D | ChangeLog-2015 | 8045 * exp_ch6.adb (Build_Pragma_Check_Equivalent): Suppress
|
H A D | ChangeLog-2016 | 1428 * sem_prag.adb (Build_Pragma_Check_Equivalent): In the case 1491 * sem_prag.adb (Build_Pragma_Check_Equivalent): Refine error 1574 (Build_Pragma_Check_Equivalent): use Primitives_Mapping. 1824 * sem_prag.adb, sem_prag.ads (Build_Pragma_Check_Equivalent): 1829 Call Build_Pragma_Check_Equivalent with the new parameter 2034 (Build_Pragma_Check_Equivalent): Abstract subprogram declarations 5172 * sem_prag.adb (Build_Pragma_Check_Equivalent): The mapping 5425 * sem_prag.ads (Build_Pragma_Check_Equivalent): Moved from contracts 5429 * sem_prag.adb (Build_Pragma_Check_Equivalent): moved here 5431 Build_Pragma_Check_Equivalent, to implement the proper semantics [all …]
|
H A D | ChangeLog-2017 | 9881 * sem_prag.adb (Build_Pragma_Check_Equivalent): Use new signature
|
H A D | contracts.adb | 2347 (Item => Build_Pragma_Check_Equivalent (Prag), 2369 (Item => Build_Pragma_Check_Equivalent (Decl), 2411 (Item => Build_Pragma_Check_Equivalent (Prag), 2434 Build_Pragma_Check_Equivalent 2654 Check_Prag := Build_Pragma_Check_Equivalent (Prag); 2705 Build_Pragma_Check_Equivalent
|
H A D | sem_prag.adb | 28057 function Build_Pragma_Check_Equivalent subprogram 28209 end Build_Pragma_Check_Equivalent; 28694 Build_Pragma_Check_Equivalent
|
H A D | sem_prag.ads | 269 function Build_Pragma_Check_Equivalent subprogspec
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/ |
H A D | ChangeLog-2015 | 8045 * exp_ch6.adb (Build_Pragma_Check_Equivalent): Suppress
|
H A D | ChangeLog-2016 | 1428 * sem_prag.adb (Build_Pragma_Check_Equivalent): In the case 1491 * sem_prag.adb (Build_Pragma_Check_Equivalent): Refine error 1574 (Build_Pragma_Check_Equivalent): use Primitives_Mapping. 1824 * sem_prag.adb, sem_prag.ads (Build_Pragma_Check_Equivalent): 1829 Call Build_Pragma_Check_Equivalent with the new parameter 2034 (Build_Pragma_Check_Equivalent): Abstract subprogram declarations 5172 * sem_prag.adb (Build_Pragma_Check_Equivalent): The mapping 5425 * sem_prag.ads (Build_Pragma_Check_Equivalent): Moved from contracts 5429 * sem_prag.adb (Build_Pragma_Check_Equivalent): moved here 5431 Build_Pragma_Check_Equivalent, to implement the proper semantics [all …]
|
H A D | ChangeLog-2017 | 9881 * sem_prag.adb (Build_Pragma_Check_Equivalent): Use new signature
|
H A D | contracts.adb | 2347 (Item => Build_Pragma_Check_Equivalent (Prag), 2369 (Item => Build_Pragma_Check_Equivalent (Decl), 2411 (Item => Build_Pragma_Check_Equivalent (Prag), 2434 Build_Pragma_Check_Equivalent 2654 Check_Prag := Build_Pragma_Check_Equivalent (Prag); 2705 Build_Pragma_Check_Equivalent
|
H A D | sem_prag.adb | 28057 function Build_Pragma_Check_Equivalent subprogram 28209 end Build_Pragma_Check_Equivalent; 28694 Build_Pragma_Check_Equivalent
|
H A D | sem_prag.ads | 269 function Build_Pragma_Check_Equivalent subprogspec
|
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/ |
H A D | exp_ch6.adb | 8042 function Build_Pragma_Check_Equivalent 8548 function Build_Pragma_Check_Equivalent 8643 end Build_Pragma_Check_Equivalent; 8688 Check_Prag := Build_Pragma_Check_Equivalent (Decl); 8772 Check_Prag := Build_Pragma_Check_Equivalent (Prag); 8801 Build_Pragma_Check_Equivalent 8849 Check_Prag := Build_Pragma_Check_Equivalent (Prag); 9013 Build_Pragma_Check_Equivalent
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/ |
H A D | ChangeLog-2015 | 8045 * exp_ch6.adb (Build_Pragma_Check_Equivalent): Suppress
|
H A D | ChangeLog-2016 | 1428 * sem_prag.adb (Build_Pragma_Check_Equivalent): In the case 1491 * sem_prag.adb (Build_Pragma_Check_Equivalent): Refine error 1574 (Build_Pragma_Check_Equivalent): use Primitives_Mapping. 1824 * sem_prag.adb, sem_prag.ads (Build_Pragma_Check_Equivalent): 1829 Call Build_Pragma_Check_Equivalent with the new parameter 2034 (Build_Pragma_Check_Equivalent): Abstract subprogram declarations 5172 * sem_prag.adb (Build_Pragma_Check_Equivalent): The mapping 5425 * sem_prag.ads (Build_Pragma_Check_Equivalent): Moved from contracts 5429 * sem_prag.adb (Build_Pragma_Check_Equivalent): moved here 5431 Build_Pragma_Check_Equivalent, to implement the proper semantics [all …]
|
H A D | ChangeLog-2017 | 9881 * sem_prag.adb (Build_Pragma_Check_Equivalent): Use new signature
|
H A D | contracts.adb | 1961 (Item => Build_Pragma_Check_Equivalent (Prag), 1985 (Item => Build_Pragma_Check_Equivalent (Decl), 2030 (Item => Build_Pragma_Check_Equivalent (Prag), 2052 Build_Pragma_Check_Equivalent 2282 Check_Prag := Build_Pragma_Check_Equivalent (Prag); 2334 Build_Pragma_Check_Equivalent
|
H A D | sem_prag.adb | 29417 function Build_Pragma_Check_Equivalent subprogram 29569 end Build_Pragma_Check_Equivalent; 30079 Build_Pragma_Check_Equivalent
|
H A D | sem_prag.ads | 270 function Build_Pragma_Check_Equivalent subprogspec
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/ |
H A D | ChangeLog-2015 | 8045 * exp_ch6.adb (Build_Pragma_Check_Equivalent): Suppress
|
H A D | ChangeLog-2016 | 1428 * sem_prag.adb (Build_Pragma_Check_Equivalent): In the case 1491 * sem_prag.adb (Build_Pragma_Check_Equivalent): Refine error 1574 (Build_Pragma_Check_Equivalent): use Primitives_Mapping. 1824 * sem_prag.adb, sem_prag.ads (Build_Pragma_Check_Equivalent): 1829 Call Build_Pragma_Check_Equivalent with the new parameter 2034 (Build_Pragma_Check_Equivalent): Abstract subprogram declarations 5172 * sem_prag.adb (Build_Pragma_Check_Equivalent): The mapping 5425 * sem_prag.ads (Build_Pragma_Check_Equivalent): Moved from contracts 5429 * sem_prag.adb (Build_Pragma_Check_Equivalent): moved here 5431 Build_Pragma_Check_Equivalent, to implement the proper semantics [all …]
|
H A D | ChangeLog-2017 | 9881 * sem_prag.adb (Build_Pragma_Check_Equivalent): Use new signature
|
H A D | contracts.adb | 2347 (Item => Build_Pragma_Check_Equivalent (Prag), 2369 (Item => Build_Pragma_Check_Equivalent (Decl), 2411 (Item => Build_Pragma_Check_Equivalent (Prag), 2434 Build_Pragma_Check_Equivalent 2654 Check_Prag := Build_Pragma_Check_Equivalent (Prag); 2705 Build_Pragma_Check_Equivalent
|
H A D | sem_prag.adb | 28057 function Build_Pragma_Check_Equivalent subprogram 28209 end Build_Pragma_Check_Equivalent; 28694 Build_Pragma_Check_Equivalent
|
H A D | sem_prag.ads | 269 function Build_Pragma_Check_Equivalent subprogspec
|