Ilya Zakharevich on Sat, 21 Sep 2024 16:07:30 +0200


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

pari_err() not returning


It seems that that GCC does not know that pari_err() does not return.

  (This affects spurious “uninitialized” warnings, even if the
   triggering cases are “protected” by pari_err().)

Is this intentional?

  (Such protection may have side effects, such as older “not that
   wise” compilers would still emit these spurious “uninitialized”
   warnings — which the developers having newer compilers would not
   know about…

   It is not clear for me whether benefits of more correct warnings
   exceed these possible side effects…) 

Thanks,
Ilya