Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 836784 - dev-lang/spark-2021 leaks CFLAGS into ada (warning: command-line option ‘-Wimplicit-function-declaration’ is valid for C/ObjC but not for Ada)
Summary: dev-lang/spark-2021 leaks CFLAGS into ada (warning: command-line option ‘-Wim...
Status: UNCONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Linux ADA team
URL:
Whiteboard:
Keywords:
Depends on:
Blocks: c99-porting
  Show dependency tree
 
Reported: 2022-04-05 00:43 UTC by Alessandro Barbieri
Modified: 2022-10-25 11:44 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Alessandro Barbieri 2022-04-05 00:43:33 UTC
I think it should not use CFLAGS to build ada files

/usr/bin/gcc-10.3.1 -c -x ada -gnatA -g -gnatg -O0 -gnata -gnatVa -gnat2020 -Os -pipe -march=native -fdiagnostics-color=always -frecord-gcc-switches -fexceptions -fstack-clash-protection -fcf-protection=full -fasynchronous-unwind-tables -ftree-vectorize -Waddress -Waggressive-loop-optimizations -Warray-bounds -Wclobbered -Wdate-time -Wformat -Wformat-security -Wfree-nonheap-object -Wnonnull -Wparentheses -Wpointer-arith -Wreturn-local-addr -Wsizeof-pointer-memaccess -Wstrict-aliasing -Wuninitialized -Wunused-value -Wvolatile-register-var -Wno-error=implicit-function-declaration -Wimplicit-function-declaration -gnatec=/var/tmp/portage/dev-lang/spark-2021/temp/GNAT-TEMP-000007.TMP -gnatec=/var/tmp/portage/dev-lang/spark-2021/work/spark-2021-2021-20210519-19A1A-src/gnat2why/devel.adc -gnatec=/var/tmp/portage/dev-lang/spark-2021/work/spark-2021-2021-20210519-19A1A-src/gnat2why/gnat.adc -gnatem=/var/tmp/portage/dev-lang/spark-2021/temp/GNAT-TEMP-000018.TMP /var/tmp/portage/dev-lang/spark-2021/work/spark-2021-2021-20210519-19A1A-src/gnat2why/gnat_src/fname.adb
gnat1: warning: command-line option ‘-Waddress’ is valid for C/C++/D/ObjC/ObjC++ but not for Ada
gnat1: warning: command-line option ‘-Wclobbered’ is valid for C/C++/ObjC/ObjC++ but not for Ada
gnat1: warning: command-line option ‘-Wdate-time’ is valid for C/C++/Fortran/ObjC/ObjC++ but not for Ada
gnat1: warning: command-line option ‘-Wformat=1’ is valid for C/C++/ObjC/ObjC++ but not for Ada
gnat1: warning: command-line option ‘-Wformat-security’ is valid for C/C++/ObjC/ObjC++ but not for Ada
gnat1: warning: command-line option ‘-Wnonnull’ is valid for C/C++/LTO/ObjC/ObjC++ but not for Ada
gnat1: warning: command-line option ‘-Wparentheses’ is valid for C/C++/ObjC/ObjC++ but not for Ada
gnat1: warning: command-line option ‘-Wpointer-arith’ is valid for C/C++/ObjC/ObjC++ but not for Ada
gnat1: warning: command-line option ‘-Wsizeof-pointer-memaccess’ is valid for C/C++/ObjC/ObjC++ but not for Ada
gnat1: warning: command-line option ‘-Wvolatile-register-var’ is valid for C/C++/ObjC/ObjC++ but not for Ada
gnat1: warning: command-line option ‘-Wimplicit-function-declaration’ is valid for C/ObjC but not for Ada