Mercury Bugs - mercury
View Issue Details
0000543mercuryBugpublic2022-01-24 17:392022-01-24 20:47
Reporterjuliensf 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000543: Test failures: hard_coded/backend_external -- invalid C code at -O6
Descriptionhard_coded/backend_external_func in grade asm_fast.gc
hard_coded/backend_external in grade asm_fast.gc
hard_coded/backend_external_pred in grade asm_fast.gc

At -O6, the above all failing when compiling the generated C code, with errors like:

backend_external.c:133:1: error: redefinition of ‘backend_external_module’
backend_external.m:84:1: note: previous definition of ‘backend_external_module’ was here

Mercury: 22.01-beta-2022-01-24
OS: CentOS 7
GCC: 4.8.5

TagsNo tags attached.
Attached Files

Notes
(0001156)
zs   
2022-01-24 20:47   
Fix committed 2022 jan 24.

Issue History
2022-01-24 17:39juliensfNew Issue
2022-01-24 17:42zsAssigned To => zs
2022-01-24 17:42zsStatusnew => assigned
2022-01-24 20:47zsStatusassigned => resolved
2022-01-24 20:47zsResolutionopen => fixed
2022-01-24 20:47zsNote Added: 0001156