Post Reply 
 
Thread Rating:
  • 0 Votes - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
outbuf, outwbuf declared as float* and float**
01-24-2015, 14:21
Post: #1
outbuf, outwbuf declared as float* and float**
Hi Emmanuel,

On Debian, we received the following bug report #748970:
Quote:During an analysis of all Debian packages using our research compiler tool-chain (using tools from the cbmc package) the following error was found:

Code:
cc -D_REENTRANT -g -O2   -o swarp back.o coadd.o data.o field.o fitswcs.o header.o interpolate.o main.o makeit.o prefs.o projapprox.o resample.o threads.o weight.o xml.o ../src/fits/libfits.a ../src/wcs/libwcs_c.a -lpthread -lm

warning: conflicting pointer types for variable "outbuf"
old definition in module coadd file coadd.c line 53
float *
new definition in module resample file resample.c line 68
float * *

warning: conflicting pointer types for variable "outwbuf"
old definition in module coadd file coadd.c line 53
float *
new definition in module resample file resample.c line 68
float * *

If outbuf is not to be used jointly by the two files (which may be possible), it should be declared static in both of the files. Else things will almost necessarily go wrong as floats will suddenly be used as pointers.

Best,
Michael
The bug rebort is for version 2.19.1; however in the current version 2.38.0 the problem is still there.

I would guess that the variables in both files are in fact static and should not be visible by other files, right?

Best regards

Ole
Find all posts by this user
Quote this message in a reply
Post Reply 


Forum Jump:


User(s) browsing this thread: 1 Guest(s)