sac2c issueshttps://gitlab.sac-home.org/sac-group/sac2c/-/issues2017-11-19T21:58:23Zhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2105Intermittent failures in scanparse2017-11-19T21:58:23ZDaniel RollsIntermittent failures in scanparse| | |
| --- | --- |
| Bugzilla Link | [788](http://bugs.sac-home.org/show_bug.cgi?id=788) |
| Created on | Nov 30, 2010 11:23 |
| Resolution | FIXED |
| Resolved on | Feb 02, 2011 16:08 |
| Version | svn |
| OS | All |
| Architecture |...| | |
| --- | --- |
| Bugzilla Link | [788](http://bugs.sac-home.org/show_bug.cgi?id=788) |
| Created on | Nov 30, 2010 11:23 |
| Resolution | FIXED |
| Resolved on | Feb 02, 2011 16:08 |
| Version | svn |
| OS | All |
| Architecture | PC |
## Extended Description
<pre>The following error is from a clustix masterrun (HEAD:HEAD:1398)
scanparse/sac.tab.h:37:1: error: unterminated #ifndef
scanparse/sac.tab.h:37:1: error: unterminated #ifndef
scanparse/sac.tab.h:37:1: error: unterminated #ifndef
scanparse/sac.tab.h:37:1: error: unterminated #ifndef
scanparse/sac.tab.h:37:1: error: unterminated #ifndef
scanparse/sac.tab.h:37:1: error: unterminated #ifndef
scanparse/sac.tab.h:37:1: error: unterminated #ifndef
global/resource.c:88: error: expected identifier before ‘static’
make[6]: *** [global/resource.p.o] Error 1
make[5]: *** [make_prod] Error 2
make[4]: *** [prod] Error 2
We've seen similar errors from the scanner/parser on Gutemine and Asterix. The makefile is run with "-j" so this could be a missing dependency in the Makefile somewhere.
The file sac.tab.h is generated by Bison so it may be being read before bison has finished writing to the file?</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2103IVE leaves broken syntax tree2017-11-19T21:58:12ZClemens GrelckIVE leaves broken syntax tree| | |
| --- | --- |
| Bugzilla Link | [775](http://bugs.sac-home.org/show_bug.cgi?id=775) |
| Created on | Nov 17, 2010 17:17 |
| Resolution | FIXED |
| Resolved on | Jan 25, 2011 04:34 |
| Version | svn |
| OS | All |
| Architecture |...| | |
| --- | --- |
| Bugzilla Link | [775](http://bugs.sac-home.org/show_bug.cgi?id=775) |
| Created on | Nov 17, 2010 17:17 |
| Resolution | FIXED |
| Resolved on | Jan 25, 2011 04:34 |
| Version | svn |
| OS | All |
| Architecture | All |
| Attachments | [SCCFprf_modarray1.sac](/uploads/6637dfecf2a1573e66e9b07c6c5b83ea/SCCFprf_modarray1.sac) |
## Extended Description
<pre>sac2c segfaults in Variable Propagation when compiling the attached code from the testsuite. Reason is a broken syntax tree left by IVE as properly detected using the treecheck facility:
**** Generating full with-loop partitions ...
**** Inferencing with-loop reuse candidates ...
**** Annotating offset variable at with-loops ...
**** Eliminating index vectors (split selections) ...
**** Eliminating index vectors (split loop invariants) ...
WARNING: mandatory son LET_EXPR is NULL
**** Propagating variables (for IVE) ...
OOOOOOOPS, your program crashed the compiler 8-((</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2102Mother Earth doesn't like the G20, either2017-11-19T21:58:05ZRobert BerneckyMother Earth doesn't like the G20, either| | |
| --- | --- |
| Bugzilla Link | [729](http://bugs.sac-home.org/show_bug.cgi?id=729) |
| Created on | Jun 23, 2010 19:06 |
| Resolution | FIXED |
| Resolved on | Jun 23, 2010 19:07 |
| Version | svn |
| OS | Linux |
| Architecture...| | |
| --- | --- |
| Bugzilla Link | [729](http://bugs.sac-home.org/show_bug.cgi?id=729) |
| Created on | Jun 23, 2010 19:06 |
| Resolution | FIXED |
| Resolved on | Jun 23, 2010 19:07 |
| Version | svn |
| OS | Linux |
| Architecture | PC |
## Extended Description
At 13:44EDT, rattler.snakeisland.com was rattling, as
was the galactic headquarters of Snake Island Research Inc.
The cause was traced to an earthquake that hit eastern Canada,
including Toronto and Ottawa.
Compiler development was interrupted briefly.Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2101WLPG generates wrong vardec type2017-11-19T21:58:00ZRobert BerneckyWLPG generates wrong vardec type| | |
| --- | --- |
| Bugzilla Link | [698](http://bugs.sac-home.org/show_bug.cgi?id=698) |
| Created on | Apr 18, 2010 21:08 |
| Resolution | FIXED |
| Resolved on | Oct 13, 2011 18:36 |
| Version | svn |
| OS | Linux |
| Architecture...| | |
| --- | --- |
| Bugzilla Link | [698](http://bugs.sac-home.org/show_bug.cgi?id=698) |
| Created on | Apr 18, 2010 21:08 |
| Resolution | FIXED |
| Resolved on | Oct 13, 2011 18:36 |
| Version | svn |
| OS | Linux |
| Architecture | PC |
## Extended Description
<pre>If I compile the following code with these options, PINL generates bum
vardec for axis:
PINLavis: PINL: renaming _wlpg_27_axis to _pinl_47__wlpg_27_axis
PINLavis: PINL: renaming _pinl_47__wlpg_27_axis to _pinl_68__wlpg_27_axis
int[.], int[.], int[.], int[.] sacprelude::partitionSlicer( int[.] min { } , int[.] max { } , int axis { } , int[.] lb { } , int[.] ub { } )
external int[.], int[.], int[.], int[.] sacprelude::partitionSlicer( int[*] min { } , int[*] max { } , int[*] axis { } , int[*] lb { } , int[*] ub { } )
int[1] _pinl_68__wlpg_27_axis { } ;
_pinl_68__wlpg_27_axis = 0;
Note that the latter variable is an int, but is declared int[1].
sac2c inlbug.sac -v1 -nocyc -b11:inl -nocf -noprelude -#d,PINL &>crud
inlbug.sac is:
use Array : {iota,-};
inline int[.] lltopXII(int n )
{
z=iota( n);
return(z);
}
int main()
{
A_60=lltopXII( 40000);
StdIO::print(_sel_VxA_( [23], A_60));
return(0);
}
This version of sac2c on obelix:
sac2c v1.00-beta (Haggis And Apple)
developer rev 16794:MODIFIED linux-gnu_i686
I stumbled onto this one while fault-isolating a few others.</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2100WLTR grumps about empty WL iteration space when compiled with -noopt2017-11-19T21:57:54ZRobert BerneckyWLTR grumps about empty WL iteration space when compiled with -noopt| | |
| --- | --- |
| Bugzilla Link | [696](http://bugs.sac-home.org/show_bug.cgi?id=696) |
| Created on | Apr 16, 2010 17:57 |
| Resolution | FIXED |
| Resolved on | Jul 15, 2010 08:40 |
| Version | svn |
| OS | Linux |
| Architecture...| | |
| --- | --- |
| Bugzilla Link | [696](http://bugs.sac-home.org/show_bug.cgi?id=696) |
| Created on | Apr 16, 2010 17:57 |
| Resolution | FIXED |
| Resolved on | Jul 15, 2010 08:40 |
| Version | svn |
| OS | Linux |
| Architecture | PC |
| Attachments | [crud.sac](/uploads/1c324e4844a3363375d763695083cfc5/crud.sac) |
## Extended Description
<pre>Created an attachment (id=687)
source code to reproduce fault
The attached dies this way when compiled with:
sac2c -noopt -noprelude lltoploop.sac
ASSERTION FAILED: file 'wltransform/wltransform.c', line 7227
with-loop with empty iteration space found!
The WL's iteration space is [:int], so it would normally be
removed, as being degenerate. However, with -noopt, it stays around
until WLTR trips over it.
Build: developer rev 16794 linux-gnu_i686
Assigned to sbs, as he seems to be Mr. Empty-WL remover of late.</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2099new type inference problem on sac/apex/tjckrbe/tjckrbe.sac and others2017-11-19T21:57:48ZRobert Berneckynew type inference problem on sac/apex/tjckrbe/tjckrbe.sac and others| | |
| --- | --- |
| Bugzilla Link | [653](http://bugs.sac-home.org/show_bug.cgi?id=653) |
| Created on | Jan 07, 2010 17:34 |
| Resolution | FIXED |
| Resolved on | May 06, 2010 19:39 |
| Version | svn |
| OS | Linux |
| Architecture...| | |
| --- | --- |
| Bugzilla Link | [653](http://bugs.sac-home.org/show_bug.cgi?id=653) |
| Created on | Jan 07, 2010 17:34 |
| Resolution | FIXED |
| Resolved on | May 06, 2010 19:39 |
| Version | svn |
| OS | Linux |
| Architecture | PC |
| Attachments | [tjkcrbe.sac](/uploads/78dafdf2bdc3fc93344bf755c9b38e00/tjkcrbe.sac), [tjckrbe.sac](/uploads/7fa63239fafa366561b0dcf2b70f19da/tjckrbe.sac) |
## Extended Description
<pre>Created an attachment (id=646)
Source code to cause crash
** 6: Running type inference system ...
**** Enforcing Specializations ...
**** Running type inference system ...
ABORT: line 355 file: tjckrbe.sac
ABORT: No definition found for a function "_MAIN::plusDDD" that accepts an
ABORT: argument of type "double" as parameter no 1. Full argument types are
ABORT: "( double, double[*])".
I think this is failure appeared recently.</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2098WLS fails on simple codes, e.g., ktr.sac2017-11-19T21:57:41ZRobert BerneckyWLS fails on simple codes, e.g., ktr.sac| | |
| --- | --- |
| Bugzilla Link | [646](http://bugs.sac-home.org/show_bug.cgi?id=646) |
| Created on | Dec 30, 2009 22:14 |
| Resolution | FIXED |
| Resolved on | Jan 03, 2010 21:46 |
| Version | svn |
| OS | Linux |
| Architecture...| | |
| --- | --- |
| Bugzilla Link | [646](http://bugs.sac-home.org/show_bug.cgi?id=646) |
| Created on | Dec 30, 2009 22:14 |
| Resolution | FIXED |
| Resolved on | Jan 03, 2010 21:46 |
| Version | svn |
| OS | Linux |
| Architecture | PC |
| Attachments | [crud.sac](/uploads/5f5adcbef2c341d473cea62eac429f63/crud.sac) |
## Extended Description
<pre>Build #16697 fails to perform WLS on this code (and many others):
int main()
{
A = with {
(. <= iv=[i] <= .) {
B = with {
(. <= jv=[j] <= .) {
VAL = _add_SxS_( i, _mul_SxS_( 2, j));
} : VAL;
} : genarray([4], 42);
} : B;
} : genarray([4], [10,20,30,40]);
StdIO::print(A);
return(0);
}
sac2c -d#,WLS gives this:
with {
(_flat_2 <= iv=[i] < _flat_5 genwidth [ _wlsimp_115 ])
{
B = with {
(_flat_2 <= jv=[j] < _flat_5 genwidth [ _wlsimp_116 ])
{
_flat_12 = _mul_SxS_( _flat_13, j);
VAL = _add_SxS_( i, _flat_12);
} : VAL ;
} :
genarray( _flat_5, _flat_7);
} : B ;
} :
genarray( _flat_5, _flat_1)
-----------------------------------------------
WLSCdoCheck: WLS: A: Checking whether with-loop can be scalarized.
WLSCwith: WLS: A: Outer with-loop has no full partition
WLSCdoCheck: WLS: A: With-loop cannot be scalarized.
I'm looking into it now, to see if there's a simple fix.</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2097WLPG introduces duplicate partition2017-11-19T21:57:34ZRobert BerneckyWLPG introduces duplicate partition| | |
| --- | --- |
| Bugzilla Link | [611](http://bugs.sac-home.org/show_bug.cgi?id=611) |
| Created on | Nov 26, 2009 23:28 |
| Resolution | INVALID |
| Resolved on | Nov 30, 2009 20:29 |
| Version | svn |
| OS | Linux |
| Architectu...| | |
| --- | --- |
| Bugzilla Link | [611](http://bugs.sac-home.org/show_bug.cgi?id=611) |
| Created on | Nov 26, 2009 23:28 |
| Resolution | INVALID |
| Resolved on | Nov 30, 2009 20:29 |
| Version | svn |
| OS | Linux |
| Architecture | PC |
| Attachments | [emptycodeblock.sac](/uploads/25756ebbb422fdff1a8789e0780cf4a0/emptycodeblock.sac) |
## Extended Description
<pre>Created an attachment (id=615)
Source code to reproduce fault
The attached produces what looks to me like a 3-partition WL for
rotate() with Build # developer rev 16638, when compiled with:
sac2c emptycodeblock.sac -b11 >crud
Specifically, I see that the second WL looks like this:
_pinl_679_result = with {
(_pinl_731__wlbsc_512_sc_bound <= _pinl_676_iv=[_pinl_692__eat_31] (IDXS:_wlidx_1665__pinl_679_result) < _pinl_540__flat_5)
{
_ivesplit_1674 = _wlidx_1665__pinl_679_result;
_pinl_950__flat_134 = _idx_sel_( _ivesplit_1674, XXX);
} : _pinl_950__flat_134 ; ,
(_pinl_548__wlpg_366_zeros <= _pinl_676_iv=[_pinl_692__eat_31] (IDXS:_wlidx_1665__pinl_679_result) < _pinl_740__wlbsc_521_sc_bound)
{
_ivesplit_1674 = _wlidx_1665__pinl_679_result;
_pinl_950__flat_134 = _idx_sel_( _ivesplit_1674, XXX);
} : _pinl_950__flat_134 ; ,
(_pinl_740__wlbsc_521_sc_bound <= _pinl_676_iv=[_pinl_692__eat_31] (IDXS:_wlidx_1665__pinl_679_result) < _pinl_540__flat_5)
{
_pinl_753__flat_1123 = _sub_SxS_( _pinl_692__eat_31, _pinl_689_count__SSA0_3);
_ivesplit_1673 = _pinl_753__flat_1123;
_pinl_678__flat_16 = _idx_sel_( _ivesplit_1673, XXX);
} : _pinl_678__flat_16 ;
} :
modarray( XXX ,IDX(_wlidx_1665__pinl_679_result));
If I'm reading that right, we have these partition bounds:
r = rotatecount;
N = array shape
P0: [ max(0, r) ] --> [ N]
P1: [ 0 ] --> [ r ]
P2: [ r ] --> [ N ]</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2096WLF non-effective in non-trivial case2017-11-19T21:57:28ZClemens GrelckWLF non-effective in non-trivial case| | |
| --- | --- |
| Bugzilla Link | [607](http://bugs.sac-home.org/show_bug.cgi?id=607) |
| Created on | Nov 25, 2009 18:29 |
| Resolution | FIXED |
| Resolved on | Oct 20, 2010 15:50 |
| Version | svn |
| OS | All |
| Architecture |...| | |
| --- | --- |
| Bugzilla Link | [607](http://bugs.sac-home.org/show_bug.cgi?id=607) |
| Created on | Nov 25, 2009 18:29 |
| Resolution | FIXED |
| Resolved on | Oct 20, 2010 15:50 |
| Version | svn |
| OS | All |
| Architecture | All |
| Attachments | [bug22.sac](/uploads/f02cb7d157842dbf4d5bc6c19d041682/bug22.sac) |
## Extended Description
<pre>Created an attachment (id=613)
code to reproduce failure
After the DevCamp revamp of the flattening status of with-loop generator
expressions, WLF is no longer effective in folding the 3 with-loops in the
attached code, which it was before the latest changes.</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2095Explicit specialisation rejected on complex2017-11-19T21:57:22ZFrank PenczekExplicit specialisation rejected on complex| | |
| --- | --- |
| Bugzilla Link | [595](http://bugs.sac-home.org/show_bug.cgi?id=595) |
| Created on | Nov 14, 2009 17:23 |
| Resolution | FIXED |
| Resolved on | Nov 17, 2009 21:21 |
| Version | 1.00beta |
| OS | All |
| Architect...| | |
| --- | --- |
| Bugzilla Link | [595](http://bugs.sac-home.org/show_bug.cgi?id=595) |
| Created on | Nov 14, 2009 17:23 |
| Resolution | FIXED |
| Resolved on | Nov 17, 2009 21:21 |
| Version | 1.00beta |
| OS | All |
| Architecture | PC |
| Attachments | [specbug.tar.gz](/uploads/863bc79871b7c472aceab529d5785ecc/specbug.tar.gz), [tutu2.sac](/uploads/730131f538c18c19b75b67f0ffb5cdcf/tutu2.sac) |
## Extended Description
<pre>Created an attachment (id=603)
Source code to reproduce behaviour (archive contains both modules)
sac2c rev. 16550
The following code leads to an "inferred types out of bounds" error:
---
module Star;
use Structures : all;
export all;
complex[*] star( complex[*] input)
{
res = genarray( shape( input), toc( 0.0d));
return( res);
}
---
---
module Spec;
use Structures : all;
import Star: all;
export all;
specialize complex[.,.,.] star( complex[3,3,3] input);
---
sac2c Star.sac; sac2c Spec.sac leads to:
[...]
** 6: Running type inference system ...
**** Enforcing Specializations ...
**** Running type inference system ...
ABORT: line 6 file: Star.sac
ABORT: Component #0 of inferred return type (ComplexBasics::complex[*]) is
ABORT: not within #18: in [ --, Structures::complex[.,.,.]] le < 0> ge <></pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2094Inferred type not within bounds2017-11-19T21:57:15ZFrank PenczekInferred type not within bounds| | |
| --- | --- |
| Bugzilla Link | [556](http://bugs.sac-home.org/show_bug.cgi?id=556) |
| Created on | Aug 20, 2009 16:51 |
| Resolution | FIXED |
| Resolved on | Nov 18, 2009 04:12 |
| Version | 1.00beta |
| OS | All |
| Architect...| | |
| --- | --- |
| Bugzilla Link | [556](http://bugs.sac-home.org/show_bug.cgi?id=556) |
| Created on | Aug 20, 2009 16:51 |
| Resolution | FIXED |
| Resolved on | Nov 18, 2009 04:12 |
| Version | 1.00beta |
| OS | All |
| Architecture | PC |
| Attachments | [tmp.sac](/uploads/d44a8ff069c44b12b52f0bfaab8b04a3/tmp.sac), [bug556_tiny.sac](/uploads/c0623e3c7f1cef0b3690e6d62dae7f4a/bug556_tiny.sac) |
## Extended Description
<pre>Created an attachment (id=561)
Source code to reproduce behaviour
Using rev16340 of sac2c, compilation of the following program aborts reporting an error about inferred types being out of bounds:
---
module badbounds;
use Structures : all;
use Numerical : all;
export {badbounds};
complex[.,.,.,.] badbounds( complex[.,.,.] input)
{
result =
with
{
( [0,0,0,0] <= [i,j,k,l] < [1,1,1,1]) : input[0,0,0];
} : genarray( [1,1,1,1], toc(0,0));
return( result);
}
---
The (clipped) compiler output reads:
---
[...]
**** Optimization cycle pass: 3
****** Optimizing wrapper function:
****** bounds::bounds( double[+]): ...
****** Optimizing wrapper function:
****** bounds:Structures::sel( int[*], double[+]): ...
****** Optimizing regular function:
****** bounds::bounds( double[.,.,.,.]): ...
****** Optimizing regular function:
****** ComplexArrayBasics::sel( int[.], double[+]): ...
****** Optimizing regular function:
****** ComplexArrayBasics::sel( int, double[+]): ...
****** Optimizing regular function:
****** sacprelude::eq( int[*], int[*]): ...
****** Optimizing regular function:
****** sacprelude::eq( float[*], float[*]): ...
****** Optimizing regular function:
****** sacprelude::eq( double[*], double[*]): ...
****** Optimizing regular function:
****** sacprelude::eq( bool[*], bool[*]): ...
****** Optimizing regular function:
****** sacprelude::eq( char[*], char[*]): ...
****** Optimizing regular function:
****** bounds:ComplexArrayBasics::shape( double[.,.,.,.]): ...
****** Optimizing regular function:
****** bounds:Structures::sel( int[3], double[.,.,.,.]): ...
ABORT: line 62 file: ComplexArrayBasics.sac
ABORT: Component #0 of inferred return type (double[.]) is not within
#380:
ABORT: in [ --, double[2]] le <> ge <>
*** Compilation failed ***
*** Exit code 73 (Running SAC optimizations)
*** 1 Error(s), 1 Warning(s)
---</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2093tvd2d.sac dies in type upgrade2017-11-19T21:57:09ZClemens Grelcktvd2d.sac dies in type upgrade| | |
| --- | --- |
| Bugzilla Link | [543](http://bugs.sac-home.org/show_bug.cgi?id=543) |
| Created on | Aug 05, 2009 23:50 |
| Resolution | FIXED |
| Resolved on | Oct 13, 2011 16:09 |
| Version | 1.00beta |
| OS | Linux |
| Archite...| | |
| --- | --- |
| Bugzilla Link | [543](http://bugs.sac-home.org/show_bug.cgi?id=543) |
| Created on | Aug 05, 2009 23:50 |
| Resolution | FIXED |
| Resolved on | Oct 13, 2011 16:09 |
| Version | 1.00beta |
| OS | Linux |
| Architecture | PC |
| Attachments | [crud.breaks.sac](/uploads/580d5857467141ba7d94ea8a6f37521e/crud.breaks.sac) |
## Extended Description
<pre>compiler says:
****** Optimizing regular function:
****** _MAIN::xmuscl2( double[+], double, double, int, int): ...
Applying common subexpression elimination ...
Inferring loop invariant variables ...
Applying type upgrade ...
ERROR: line 174 file: tvd2d.sac
ERROR: loop variable "b" is being used inconsistently; conflicting types are
ERROR: double[*] and #47720: in [ --, double] le <> ge <>
*** Compilation failed ***
*** Exit code 73 (Running SAC optimizations)
*** 1 Error(s), 0 Warning(s)
cg@milos:~/sac/test> sac2c -V
sac2c v1.00-beta (Buchette d'Anjou)
developer rev 16290 linux-gnu_i686
(Wed Aug 5 23:16:08 CEST 2009 by cg)</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2092Can't build stdlib Structures.sac on 4GB machine2017-11-19T21:57:03ZRobert BerneckyCan't build stdlib Structures.sac on 4GB machine| | |
| --- | --- |
| Bugzilla Link | [542](http://bugs.sac-home.org/show_bug.cgi?id=542) |
| Created on | Aug 05, 2009 00:16 |
| Resolution | FIXED |
| Resolved on | Sep 27, 2009 19:22 |
| Version | 1.00beta |
| OS | Linux |
| Archite...| | |
| --- | --- |
| Bugzilla Link | [542](http://bugs.sac-home.org/show_bug.cgi?id=542) |
| Created on | Aug 05, 2009 00:16 |
| Resolution | FIXED |
| Resolved on | Sep 27, 2009 19:22 |
| Version | 1.00beta |
| OS | Linux |
| Architecture | PC |
## Extended Description
<pre>I am unable to build the stdlib on a 4GB machine; the thing
runs out of memory. Memory use grows steadily during SAACYC, but I can't see
anything obvious in the way of corruption with memcheck or treecheck during
those phases. I noted this:
1. Turning off most optimizations let the compile complete.
2. The SAACYC optimization phases are spending most
of their time here, based on eyeballing -v4 output:
Eliminating type variables ...
Eliminating bottom types ...
3.isaa2 produces a LOT of -d memcheck errors, but it is only invoked
once, so I don't see that it can be the problem.
4. I did not see anything obvious in -b11:xxx output, such as
multiple copies of same value being computed. etc.
5. I'm running valgrind on it now, but it's taking a wee bit of time.</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2091libsacprelude does not compile2017-11-19T21:56:55ZClemens Grelcklibsacprelude does not compile| | |
| --- | --- |
| Bugzilla Link | [531](http://bugs.sac-home.org/show_bug.cgi?id=531) |
| Created on | Jul 23, 2009 09:15 |
| Resolution | FIXED |
| Resolved on | Jul 23, 2009 18:52 |
| Version | 1.00beta |
| OS | Linux |
| Archite...| | |
| --- | --- |
| Bugzilla Link | [531](http://bugs.sac-home.org/show_bug.cgi?id=531) |
| Created on | Jul 23, 2009 09:15 |
| Resolution | FIXED |
| Resolved on | Jul 23, 2009 18:52 |
| Version | 1.00beta |
| OS | Linux |
| Architecture | PC |
## Extended Description
<pre>As of revision 16229 (at least) sac2c fails to compile the sacprelude:
****** Optimizing regular function:
****** sacprelude::adjustLacFunParams( bool[*], int[*], int[.]): ...
Applying common subexpression elimination ...
Inferring loop invariant variables ...
Applying type upgrade ...
Eliminating Type Variables ...
Eliminating Bottom Types ...
Applying function call dispatch ...
Applying inlining ...
Applying with-loop propagation ...
Applying constant folding ...
ASSERTION FAILED: file 'constants/constants_basic.c', line 780
Constant is NULL!
EXECUTION TERMINATED
Aborted</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2090call PRTdoPrintNode(arg_node) within ddd no longer works2017-11-19T21:56:50ZRobert Berneckycall PRTdoPrintNode(arg_node) within ddd no longer works| | |
| --- | --- |
| Bugzilla Link | [529](http://bugs.sac-home.org/show_bug.cgi?id=529) |
| Created on | Jul 21, 2009 22:44 |
| Resolution | FIXED |
| Resolved on | Jul 22, 2009 08:59 |
| Version | 1.00beta |
| OS | Linux |
| Archite...| | |
| --- | --- |
| Bugzilla Link | [529](http://bugs.sac-home.org/show_bug.cgi?id=529) |
| Created on | Jul 21, 2009 22:44 |
| Resolution | FIXED |
| Resolved on | Jul 22, 2009 08:59 |
| Version | 1.00beta |
| OS | Linux |
| Architecture | PC |
## Extended Description
<pre>Because global.outfile == 0.</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2089printf inside with-loop2017-11-19T21:56:44ZArtem Shinkarovprintf inside with-loop| | |
| --- | --- |
| Bugzilla Link | [528](http://bugs.sac-home.org/show_bug.cgi?id=528) |
| Created on | Jul 17, 2009 19:40 |
| Resolution | FIXED |
| Resolved on | Jul 30, 2009 08:25 |
| Version | 1.00beta |
| OS | Linux |
| Archite...| | |
| --- | --- |
| Bugzilla Link | [528](http://bugs.sac-home.org/show_bug.cgi?id=528) |
| Created on | Jul 17, 2009 19:40 |
| Resolution | FIXED |
| Resolved on | Jul 30, 2009 08:25 |
| Version | 1.00beta |
| OS | Linux |
| Architecture | PC |
| Attachments | [SACbugreport](/uploads/96b58a4f077be092d5cc6164bbdbd781/SACbugreport) |
## Extended Description
<pre>Created an attachment (id=553)
Auto-generated report
Inserting printf in with-loop causes compiler-crash.</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2088non-alpha type for LHS found - duplicate assign for LHS caused by WLF/EWLF2017-11-19T21:56:38ZRobert Berneckynon-alpha type for LHS found - duplicate assign for LHS caused by WLF/EWLF| | |
| --- | --- |
| Bugzilla Link | [513](http://bugs.sac-home.org/show_bug.cgi?id=513) |
| Created on | Jun 22, 2009 05:33 |
| Resolution | FIXED |
| Resolved on | Jun 22, 2009 15:40 |
| Version | 1.00beta |
| OS | Linux |
| Archite...| | |
| --- | --- |
| Bugzilla Link | [513](http://bugs.sac-home.org/show_bug.cgi?id=513) |
| Created on | Jun 22, 2009 05:33 |
| Resolution | FIXED |
| Resolved on | Jun 22, 2009 15:40 |
| Version | 1.00beta |
| OS | Linux |
| Architecture | PC |
| Attachments | [bugivrename.sac](/uploads/5ec6c96469adf1ba3224f5f6a68bf952/bugivrename.sac) |
## Extended Description
<pre>Created an attachment (id=542)
Source code to cause crash
ASSERTION FAILED: file 'typecheck/new_typecheck.c', line 1161
non-alpha type for LHS found!
This crash appeared in build #16128, but I only discovered it today,
when I wrote a new test script.
I'll fix it tomorrow. If you need something working immediately,
please back up to build #16127.</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2087Gtrammar vs manual2017-11-19T21:56:32ZArtem ShinkarovGtrammar vs manual| | |
| --- | --- |
| Bugzilla Link | [490](http://bugs.sac-home.org/show_bug.cgi?id=490) |
| Created on | May 06, 2009 10:00 |
| Resolution | FIXED |
| Resolved on | Jul 18, 2012 09:12 |
| Version | 1.00beta |
| OS | Linux |
| Archite...| | |
| --- | --- |
| Bugzilla Link | [490](http://bugs.sac-home.org/show_bug.cgi?id=490) |
| Created on | May 06, 2009 10:00 |
| Resolution | FIXED |
| Resolved on | Jul 18, 2012 09:12 |
| Version | 1.00beta |
| OS | Linux |
| Architecture | PC |
## Extended Description
<pre>This link http://www.sac-home.org/bnf/sac_grammar/node5.html
allows us to assign a value when we declare a variable;
But in a real life expression like
int i = count;
Causes an error:
ABORT: line 107 file: n-body.sac
ABORT: syntax error at pos 16: '=`
ABORT: int conunt = 0;
ABORT:</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2086Incorrect result from recursive function with a fold on concat2017-11-19T21:56:26ZDaniel RollsIncorrect result from recursive function with a fold on concat| | |
| --- | --- |
| Bugzilla Link | [484](http://bugs.sac-home.org/show_bug.cgi?id=484) |
| Created on | Apr 21, 2009 11:36 |
| Resolution | FIXED |
| Resolved on | Apr 24, 2009 21:53 |
| Version | 1.00beta |
| OS | MacOS X |
| Archi...| | |
| --- | --- |
| Bugzilla Link | [484](http://bugs.sac-home.org/show_bug.cgi?id=484) |
| Created on | Apr 21, 2009 11:36 |
| Resolution | FIXED |
| Resolved on | Apr 24, 2009 21:53 |
| Version | 1.00beta |
| OS | MacOS X |
| Architecture | PC |
| Attachments | [bughunt.sac](/uploads/74ace251aebf1fc095ba0155b02d4867/bughunt.sac) |
## Extended Description
<pre>Created an attachment (id=515)
Source code to reproduce the bug
sac2c Version: 16036
Run:
sac2c bughunt.sac && ./a.out ; echo $?
to see the bug. The return value is shape( result)[0] which should be 2 but is 1. Add -noopt and the bug goes away. Could this be related to bug 208?</pre>Sven-Bodo ScholzSven-Bodo Scholzhttps://gitlab.sac-home.org/sac-group/sac2c/-/issues/2085stdlib vector rotate busts -glf2017-11-19T21:56:21ZRobert Berneckystdlib vector rotate busts -glf| | |
| --- | --- |
| Bugzilla Link | [479](http://bugs.sac-home.org/show_bug.cgi?id=479) |
| Created on | Mar 31, 2009 22:22 |
| Resolution | DUPLICATE |
| Resolved on | Jun 05, 2009 14:22 |
| Version | 1.00beta |
| OS | Linux |
| Arc...| | |
| --- | --- |
| Bugzilla Link | [479](http://bugs.sac-home.org/show_bug.cgi?id=479) |
| Created on | Mar 31, 2009 22:22 |
| Resolution | DUPLICATE |
| Resolved on | Jun 05, 2009 14:22 |
| Version | 1.00beta |
| OS | Linux |
| Architecture | PC |
| Attachments | [crud2.sac](/uploads/54b8c4d513d367603cf57a465cc46a84/crud2.sac), [rotatevector.sac](/uploads/54bd8248ad2de936cf3a4722e2bb8d8e/rotatevector.sac) |
## Extended Description
<pre>Created an attachment (id=510)
source code to reproduce failure
sac2c rotatevector.sac -glf
dies in LIRap, with a corrupted AP_FUNDEF node.</pre>Sven-Bodo ScholzSven-Bodo Scholz