Re: [patch, libgfortran] Initailize some variable to get rid of nuisance warnings.

[Jerry D <jvdelisle2@gmail.com>]

Pushed, thanks for feedback

On 2/26/23 11:54 PM, Tobias Burnus wrote:
> Just side remarks, the 0 init in the patch is fine.
> 
> On 27.02.23 03:53, Jerry D via Gcc-patches wrote:
> 
>>> regarding PACK: since this is a bogus warning as the compiler does
>>> not realize that dim >= 1, wouldn't a
>>>
>>> gcc_assert (dim >= 1);
> 
> Note: gcc_assert only exists in the compiler itself; in libgfortran, we
> use GFC_ASSERT or directly 'assert'.
> 
> You could also use 'if (dim < 1) __builtin_unreachable();' – or since
> GCC 13:
> 
> __attribute__((assume (dim >= 1)));
> 
> Tobias
> 
> PS: In Fortran, '-fopenmp-simd' plus '!$omp assume holds(dim>=0) ...
> !$omp end assume' (or !$omp ... + block/end block) can be used to denote
> such assumptions. '-fopenmp-simd' enables only those bits of OpenMP that
> do not require any library support (no libgomp, no pthreads), contrary
> to '-fopenmp'.
> 
> -----------------
> Siemens Electronic Design Automation GmbH; Anschrift: Arnulfstraße 201, 
> 80634 München; Gesellschaft mit beschränkter Haftung; Geschäftsführer: 
> Thomas Heurung, Frank Thürauf; Sitz der Gesellschaft: München; 
> Registergericht München, HRB 106955