Changeset 85521c7


Ignore:
Timestamp:
Feb 1, 2018, 5:40:01 PM (5 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
Children:
0188a0b
Parents:
d0a045c7 (diff), 33c0ce8 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

Files:
33 edited
1 moved

Legend:

Unmodified
Added
Removed

  • doc/LaTeXmacros/common.tex

    rd0a045c7 r85521c7  
    1111%% Created On       : Sat Apr  9 10:06:17 2016
    1212%% Last Modified By : Peter A. Buhr
    13 %% Last Modified On : Mon Aug 28 20:18:42 2017
    14 %% Update Count     : 355
     13%% Last Modified On : Wed Jan 31 23:10:28 2018
     14%% Update Count     : 364
    1515%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    1616
    … …  
    165165        {\ETC\xspace}%
    166166}%
    167 \newcommand{\ETAL}{\abbrevFont{et\:al}}
    168 \newcommand{\etal}{%
    169         \@ifnextchar{.}{\ETAL}%
    170                 {\abbrevFont{\ETAL}.\xspace}%
     167\newcommand{\ETAL}{\abbrevFont{et}\hspace{2pt}\abbrevFont{al}}
     168\newcommand*{\etal}{%
     169        \@ifnextchar{.}{\protect\ETAL}%
     170                {\abbrevFont{\protect\ETAL}.\xspace}%
    171171}%
    172172\newcommand{\VIZ}{\abbrevFont{viz}}
    173 \newcommand{\viz}{%
     173\newcommand*{\viz}{%
    174174        \@ifnextchar{.}{\VIZ}%
    175175                {\abbrevFont{\VIZ}.\xspace}%

  • doc/bibliography/pl.bib

    rd0a045c7 r85521c7  
    10341034}
    10351035
    1036 @manual{cforall,
     1036@manual{cforall-refrat,
    10371037    keywords    = {polymorphism},
    10381038    contributer = {gjditchfield@plg},

  • doc/papers/OOPSLA17/Makefile

    rd0a045c7 r85521c7  
    99
    1010MAKEFLAGS = --no-print-directory --silent #
    11 VPATH = ${Figures} evaluation
     11VPATH = ${Build} ${Figures} evaluation
    1212
    1313## Define the text source files.
    … …  
    3636# Directives #
    3737
     38.PHONY : all clean                                      # not file names
     39
    3840all : ${DOCUMENT}
    3941
    … …  
    4951        dvips ${Build}/$< -o $@
    5052
    51 ${basename ${DOCUMENT}}.dvi : Makefile ${Build} ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} ${basename ${DOCUMENT}}.tex ../../bibliography/pl.bib
     53${basename ${DOCUMENT}}.dvi : Makefile ${Build} ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} ../../bibliography/pl.bib
    5254        # Must have *.aux file containing citations for bibtex
    5355        if [ ! -r ${basename $@}.aux ] ; then ${LaTeX} ${basename $@}.tex ; fi

  • doc/papers/concurrency/Makefile

    rd0a045c7 r85521c7  
    99
    1010MAKEFLAGS = --no-print-directory --silent #
    11 VPATH = ${Figures}
     11VPATH = ${Build} ${Figures}
    1212
    1313## Define the text source files.
    … …  
    5858        dvips ${Build}/$< -o $@
    5959
    60 ${basename ${DOCUMENT}}.dvi : Makefile ${Build} ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} ${basename ${DOCUMENT}}.tex \
     60${basename ${DOCUMENT}}.dvi : Makefile ${Build} ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} \
    6161                ${Macros}/common.tex ${Macros}/indexstyle annex/local.bib ../../bibliography/pl.bib
    6262        # Must have *.aux file containing citations for bibtex

  • doc/papers/general/Makefile

    rd0a045c7 r85521c7  
    99
    1010MAKEFLAGS = --no-print-directory --silent #
    11 VPATH = ${Figures} evaluation
     11VPATH = ${Build} ${Figures} evaluation
    1212
    1313## Define the text source files.
    … …  
    5151        dvips ${Build}/$< -o $@
    5252
    53 ${basename ${DOCUMENT}}.dvi : Makefile ${Build} ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} ${basename ${DOCUMENT}}.tex \
     53${basename ${DOCUMENT}}.dvi : Makefile ${Build} ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} \
    5454                ${Macros}/common.tex ${Macros}/indexstyle ../../bibliography/pl.bib
    5555        # Must have *.aux file containing citations for bibtex

  • doc/refrat/Makefile

    rd0a045c7 r85521c7  
    99
    1010MAKEFLAGS = --no-print-directory --silent #
    11 VPATH = ${Figures}
     11VPATH = ${Build} ${Figures}
    1212
    1313## Define the text source files.
    … …  
    5252        dvips ${Build}/$< -o $@
    5353
    54 ${basename ${DOCUMENT}}.dvi : Makefile ${Build} ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} ${basename ${DOCUMENT}}.tex \
     54${basename ${DOCUMENT}}.dvi : Makefile ${Build} ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} \
    5555                ${Macros}/common.tex ${Macros}/lstlang.sty ${Macros}/indexstyle ../bibliography/pl.bib
    5656        # Conditionally create an empty *.ind (index) file for inclusion until makeindex is run.

  • doc/theses/aaron_moss/comp_II/.gitignore

    rd0a045c7 r85521c7  
    11# generated by latex
    2 *.aux
    3 *.bbl
    4 *.blg
    5 *.brf
    6 *.dvi
    7 *.idx
    8 *.ilg
    9 *.ind
    10 *.log
    11 *.out
     2build/*
    123*.pdf
    134*.ps
    14 *.toc

  • doc/theses/aaron_moss/comp_II/Makefile

    rd0a045c7 r85521c7  
    1 ## Define the appropriate configuration variables.
     1## Define the configuration variables.
    22
    3 TeXLIB = .:../LaTeXmacros:../LaTeXmacros/listings:../LaTeXmacros/enumitem:../bibliography/:
    4 LaTeX  = TEXINPUTS=${TeXLIB} && export TEXINPUTS && latex -halt-on-error
     3Build = build
     4Figures = figures
     5Macros = ../../../LaTeXmacros
     6TeXLIB = .:${Macros}:${Build}:../../../bibliography:
     7LaTeX  = TEXINPUTS=${TeXLIB} && export TEXINPUTS && latex -halt-on-error -output-directory=${Build}
    58BibTeX = BIBINPUTS=${TeXLIB} && export BIBINPUTS && bibtex
     9
     10MAKEFLAGS = --no-print-directory --silent #
     11VPATH = ${Build} ${Figures}
    612
    713## Define the text source files.
    … …  
    2935# Directives #
    3036
     37.PHONY : all clean                                      # not file names
     38
    3139all : ${DOCUMENT}
    3240
    3341clean :
    34         rm -f *.bbl *.aux *.dvi *.idx *.ilg *.ind *.brf *.out *.log *.toc *.blg *.pstex_t *.cf \
    35                 ${FIGURES} ${PICTURES} ${PROGRAMS} ${GRAPHS} ${basename ${DOCUMENT}}.ps ${DOCUMENT}
     42        @rm -frv ${DOCUMENT} ${basename ${DOCUMENT}}.ps ${Build}
    3643
    3744# File Dependencies #
    … …  
    4148
    4249${basename ${DOCUMENT}}.ps : ${basename ${DOCUMENT}}.dvi
    43         dvips $< -o $@
     50        dvips ${Build}/$< -o $@
    4451
    45 ${basename ${DOCUMENT}}.dvi : Makefile ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} ${basename ${DOCUMENT}}.tex \
    46                 ../LaTeXmacros/common.tex ../LaTeXmacros/indexstyle ../bibliography/cfa.bib
    47         # Conditionally create an empty *.ind (index) file for inclusion until makeindex is run.
    48         if [ ! -r ${basename $@}.ind ] ; then touch ${basename $@}.ind ; fi
     52${basename ${DOCUMENT}}.dvi : Makefile ${Build} ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} \
     53                ${Macros}/common.tex ${Macros}/indexstyle ../../../bibliography/pl.bib
    4954        # Must have *.aux file containing citations for bibtex
    5055        if [ ! -r ${basename $@}.aux ] ; then ${LaTeX} ${basename $@}.tex ; fi
    51         -${BibTeX} ${basename $@}
    52         # Some citations reference others so run steps again to resolve these citations
     56        -${BibTeX} ${Build}/${basename $@}
     57        # Some citations reference others so run again to resolve these citations
    5358        ${LaTeX} ${basename $@}.tex
    54         -${BibTeX} ${basename $@}
    55         # Make index from *.aux entries and input index at end of document
    56         makeindex -s ../LaTeXmacros/indexstyle ${basename $@}.idx
     59        -${BibTeX} ${Build}/${basename $@}
     60        # Run again to finish citations
    5761        ${LaTeX} ${basename $@}.tex
    58         # Run again to get index title into table of contents
    59         ${LaTeX} ${basename $@}.tex
    60 
    61 predefined :
    62         sed -f predefined.sed ${basename ${DOCUMENT}}.tex > ${basename $@}.cf
    6362
    6463## Define the default recipes.
    6564
     65${Build}:
     66        mkdir -p ${Build}
     67
    6668%.tex : %.fig
    67         fig2dev -L eepic $< > $@
     69        fig2dev -L eepic $< > ${Build}/$@
    6870
    6971%.ps : %.fig
    70         fig2dev -L ps $< > $@
     72        fig2dev -L ps $< > ${Build}/$@
    7173
    7274%.pstex : %.fig
    73         fig2dev -L pstex $< > $@
    74         fig2dev -L pstex_t -p $@ $< > $@_t
     75        fig2dev -L pstex $< > ${Build}/$@
     76        fig2dev -L pstex_t -p ${Build}/$@ $< > ${Build}/$@_t
    7577
    7678# Local Variables: #

  • doc/theses/aaron_moss/comp_II/comp_II.tex

    rd0a045c7 r85521c7  
    1 % inline code ©...© (copyright symbol) emacs: C-q M-)
    2 % red highlighting ®...® (registered trademark symbol) emacs: C-q M-.
    3 % blue highlighting ß...ß (sharp s symbol) emacs: C-q M-_
    4 % green highlighting ¢...¢ (cent symbol) emacs: C-q M-"
    5 % LaTex escape §...§ (section symbol) emacs: C-q M-'
    6 % keyword escape ¶...¶ (pilcrow symbol) emacs: C-q M-^
    7 % math escape $...$ (dollar symbol)
    8 
    91\documentclass[twoside,11pt]{article}
    102
    … …  
    2719\usepackage{mathptmx}                                   % better math font with "times"
    2820\usepackage[usenames]{color}
    29 \usepackage[pagewise]{lineno}
    30 \renewcommand{\linenumberfont}{\scriptsize\sffamily}
    3121\input{common}                                          % bespoke macros used in the document
    3222\usepackage[dvips,plainpages=false,pdfpagelabels,pdfpagemode=UseNone,colorlinks=true,pagebackref=true,linkcolor=blue,citecolor=blue,urlcolor=blue,pagebackref=true,breaklinks=true]{hyperref}
    … …  
    3424\renewcommand{\UrlFont}{\small\sf}
    3525
     26\usepackage[pagewise]{lineno}
     27\renewcommand{\linenumberfont}{\scriptsize\sffamily}
     28
     29% Default underscore is too low and wide. Cannot use lstlisting "literate" as replacing underscore
     30% removes it as a variable-name character so keywords in variables are highlighted. MUST APPEAR
     31% AFTER HYPERREF.
     32\renewcommand{\textunderscore}{\leavevmode\makebox[1.2ex][c]{\rule{1ex}{0.075ex}}}
     33
    3634\setlength{\topmargin}{-0.45in}                                                 % move running title into header
    3735\setlength{\headsep}{0.25in}
     36
     37\CFAStyle                                                                                               % use default CFA format-style
     38
     39% inline code ©...© (copyright symbol) emacs: C-q M-)
     40% red highlighting ®...® (registered trademark symbol) emacs: C-q M-.
     41% blue highlighting ß...ß (sharp s symbol) emacs: C-q M-_
     42% green highlighting ¢...¢ (cent symbol) emacs: C-q M-"
     43% LaTex escape §...§ (section symbol) emacs: C-q M-'
     44% keyword escape ¶...¶ (pilcrow symbol) emacs: C-q M-^
     45% math escape $...$ (dollar symbol)
    3846
    3947\usepackage{caption}
    … …  
    622630\addcontentsline{toc}{section}{\refname}
    623631\bibliographystyle{plain}
    624 \bibliography{cfa}
     632\bibliography{pl}
    625633
    626634%\addcontentsline{toc}{section}{\indexname} % add index name to table of contents

  • doc/theses/rob_schluntz/.gitignore

    rd0a045c7 r85521c7  
    11# generated by latex
    2 *.aux
    3 *.bbl
    4 *.blg
    5 *.brf
    6 *.dvi
    7 *.idx
    8 *.ilg
    9 *.ind
    10 *.log
    11 *.out
     2build/*
    123*.pdf
    134*.ps
    14 *.toc
    15 *.lof
    16 *.lot
    17 *.synctex.gz
     5

  • doc/theses/rob_schluntz/Makefile

    rd0a045c7 r85521c7  
    1 TeXLIB = .:../LaTeXmacros:../bibliography/:
    2 LaTeX  = TEXINPUTS=${TeXLIB} && export TEXINPUTS && pdflatex -halt-on-error
     1Build = build
     2Macros = ../../LaTeXmacros
     3TeXLIB = .:${Macros}:${Build}:../../bibliography:
     4LaTeX  = TEXINPUTS=${TeXLIB} && export TEXINPUTS && pdflatex -halt-on-error -output-directory=${Build}
    35BibTeX = BIBINPUTS=${TeXLIB} && export BIBINPUTS && bibtex
     6
     7VPATH = ${Build}
    48
    59all : thesis.pdf
    610
    7 thesis.pdf : Makefile ../LaTeXmacros/common.tex cfa-format.tex thesis.tex intro.tex ctordtor.tex tuples.tex variadic.tex conclusions.tex
     11thesis.pdf : Makefile ${Build} ${Macros}/common.tex cfa-format.tex thesis.tex intro.tex ctordtor.tex tuples.tex variadic.tex conclusions.tex
    812        ${LaTeX} thesis
    9         ${BibTeX} thesis
     13        ${BibTeX} ${Build}/thesis
    1014        ${LaTeX} thesis
    1115        ${LaTeX} thesis
     16        cp -p ${Build}/thesis.pdf .
    1217        pdf2ps thesis.pdf thesis.ps
    1318
     19${Build}:
     20        mkdir -p ${Build}
     21
    1422clean :
    15         rm -f *.aux *.bbl *.blg *.lof *.log *.lot *.out *.toc
     23        @rm -frv ${Build}
    1624
    1725spotless : clean

  • doc/theses/rob_schluntz/intro.tex

    rd0a045c7 r85521c7  
    290290\end{cfacode}
    291291Every if- and iteration-statement in C compares the condition with @0@, and every increment and decrement operator is semantically equivalent to adding or subtracting the value @1@ and storing the result.
    292 Due to these rewrite rules, the values @0@ and @1@ have the types \zero and \one in \CFA, which allow for overloading various operations that connect to @0@ and @1@ \footnote{In the original design of \CFA, @0@ and @1@ were overloadable names \cite[p.~7]{cforall}.}.
     292Due to these rewrite rules, the values @0@ and @1@ have the types \zero and \one in \CFA, which allow for overloading various operations that connect to @0@ and @1@ \footnote{In the original design of \CFA, @0@ and @1@ were overloadable names \cite[p.~7]{cforall-refrat}.}.
    293293The types \zero and \one have special built-in implicit conversions to the various integral types, and a conversion to pointer types for @0@, which allows standard C code involving @0@ and @1@ to work as normal.
    294294\begin{cfacode}

  • doc/theses/rob_schluntz/thesis.tex

    rd0a045c7 r85521c7  
    288288\addcontentsline{toc}{chapter}{\textbf{References}}
    289289
    290 \bibliography{cfa,thesis}
     290\bibliography{pl,thesis}
    291291% Tip 5: You can create multiple .bib files to organize your references.
    292292% Just list them all in the \bibliogaphy command, separated by commas (no spaces).

  • doc/theses/thierry_delisle/Makefile

    rd0a045c7 r85521c7  
    1 ## Define the appropriate configuration variables.
     1## Define the configuration variables.
    22
    3 TeXLIB = .:./style:./text:./annex:./build:../../LaTeXmacros:../../LaTeXmacros/listings:../../LaTeXmacros/enumitem:~/bibliographies:/usr/local/bibliographies:
    4 LaTeX  = TEXINPUTS=${TeXLIB} && export TEXINPUTS && latex -halt-on-error -output-directory=build -interaction=nonstopmode
     3Build = build
     4Figures = figures
     5Macros = ../../LaTeXmacros
     6TeXLIB = .:style:text:annex:${Macros}:${Build}:../../bibliography:
     7LaTeX  = TEXINPUTS=${TeXLIB} && export TEXINPUTS && latex -halt-on-error -output-directory=${Build}
    58BibTeX = BIBINPUTS=${TeXLIB} && export BIBINPUTS && bibtex -terse
     9
     10MAKEFLAGS = --no-print-directory --silent #
     11VPATH = ${Build} ${Figures}
    612
    713## Define the text source files.
    … …  
    2430}
    2531
    26 FIGURES = ${addprefix build/, ${addsuffix .tex, \
    27         monitor \
    28         ext_monitor \
    29         int_monitor \
    30         dependency \
    31 }}
     32FIGURES = ${addsuffix .tex, \
     33monitor \
     34ext_monitor \
     35int_monitor \
     36dependency \
     37}
    3238
    33 PICTURES = ${addprefix build/, ${addsuffix .pstex, \
    34         system \
    35         monitor_structs \
    36 }}
     39PICTURES = ${addsuffix .pstex, \
     40system \
     41monitor_structs \
     42}
    3743
    3844PROGRAMS = ${addsuffix .tex, \
    … …  
    4854# Directives #
    4955
     56.PHONY : all clean                                      # not file names
     57
    5058all : ${DOCUMENT}
    5159
    5260clean :
    53         @rm -fv ${DOCUMENT} \
    54         build/*.acn     \
    55         build/*.acr     \
    56         build/*.alg     \
    57         build/*.aux     \
    58         build/*.bbl     \
    59         build/*.blg     \
    60         build/*.brf     \
    61         build/*.cf      \
    62         build/*.dvi     \
    63         build/*.glg     \
    64         build/*.glo     \
    65         build/*.gls     \
    66         build/*.ist     \
    67         build/*.idx     \
    68         build/*.ilg     \
    69         build/*.ind     \
    70         build/*.log     \
    71         build/*.out     \
    72         build/*.ps      \
    73         build/*.pstex   \
    74         build/*.pstex_t \
    75         build/*.tex     \
    76         build/*.toc     \
    77         build/*.lof     \
    78         build/*.lol     \
    79         build/*.lot     \
    80         figures/*.tex   \
    81         *.png           \
    82 
     61        @rm -frv ${DOCUMENT} ${basename ${DOCUMENT}}.ps ${Build}
    8362
    8463# File Dependencies #
    8564
    86 ${DOCUMENT} : build/${basename ${DOCUMENT}}.ps
     65${DOCUMENT} : ${basename ${DOCUMENT}}.ps
    8766        ps2pdf $<
    8867
    89 build/${basename ${DOCUMENT}}.ps : build/${basename ${DOCUMENT}}.dvi
    90         dvips $< -o $@
     68${basename ${DOCUMENT}}.ps : ${basename ${DOCUMENT}}.dvi
     69        dvips ${Build}/$< -o $@
    9170
    92 build/${basename ${DOCUMENT}}.dvi : Makefile ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} ${basename ${DOCUMENT}}.tex ../../LaTeXmacros/common.tex ../../LaTeXmacros/indexstyle annex/local.bib
    93 
    94         @ if [ ! -r ${basename $@}.ind ] ; then touch ${basename $@}.ind ; fi                           # Conditionally create an empty *.ind (index) file for inclusion until makeindex is run.
    95         @ echo "Citation lookup"                                                                                        # Must have *.aux file containing citations for bibtex
    96         @ if [ ! -r ${basename $@}.aux ] ; then ${LaTeX} ${basename ${notdir $@}}.tex ; fi
    97         @ echo "Citation Pass 1"
    98         @ -${BibTeX} ${basename $@}                                                                                     # Some citations reference others so run steps again to resolve these citations
    99         @ echo "Citation Pass 2"
    100         @ ${LaTeX} ${basename ${notdir $@}}.tex
    101         @ -${BibTeX} ${basename $@}
    102         @ echo "Glossary"
    103         @ makeglossaries -q -s ${basename $@}.ist ${basename $@}                                                # Make index from *.aux entries and input index at end of document
    104         @ echo ".dvi generation"
    105         @ -build/bump_ver.sh
    106         @ ${LaTeX} ${basename ${notdir $@}}.tex                                                                 # Run again to get index title into table of contents
    107 
    108 
    109 predefined :
    110         sed -f predefined.sed ${basename ${DOCUMENT}}.tex > ${basename $@}.cf
     71${basename ${DOCUMENT}}.dvi : Makefile ${Build} ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} \
     72                ${Macros}/common.tex ${Macros}/indexstyle annex/local.bib ../../bibliography/pl.bib
     73        # Must have *.aux file containing citations for bibtex
     74        if [ ! -r ${basename $@}.aux ] ; then ${LaTeX} ${basename $@}.tex ; fi
     75        -${BibTeX} ${Build}/${basename $@}
     76        # Some citations reference others so run again to resolve these citations
     77        ${LaTeX} ${basename $@}.tex
     78        -${BibTeX} ${Build}/${basename $@}
     79        # Make index from *.aux entries and input index at end of document
     80        makeglossaries -q -s ${Build}/${basename $@}.ist ${Build}/${basename $@}
     81        -version.sh
     82        # Run again to finish citations
     83        ${LaTeX} ${basename $@}.tex
    11184
    11285## Define the default recipes.
    11386
    114 build/%.tex : figures/%.fig
    115         fig2dev -L eepic $< > $@
     87${Build}:
     88        mkdir -p ${Build}
    11689
    117 build/%.ps : figures/%.fig
    118         fig2dev -L ps $< > $@
     90%.tex : %.fig
     91        fig2dev -L eepic $< > ${Build}/$@
    11992
    120 build/%.pstex : figures/%.fig
    121         fig2dev -L pstex $< > $@
    122         fig2dev -L pstex_t -p $@ $< > $@_t
     93%.ps : %.fig
     94        fig2dev -L ps $< > ${Build}/$@
     95
     96%.pstex : %.fig
     97        fig2dev -L pstex $< > ${Build}/$@
     98        fig2dev -L pstex_t -p ${Build}/$@ $< > ${Build}/$@_t
    12399
    124100#-----------------------------------------------------------------------------------
    … …  
    145121                        "\end{document}" > $@
    146122
    147 
    148 
    149123# Local Variables: #
    150124# compile-command: "make" #

  • doc/theses/thierry_delisle/version

    rd0a045c7 r85521c7  
    1 0.11.403
     10.11.409

  • doc/user/Makefile

    rd0a045c7 r85521c7  
    99
    1010MAKEFLAGS = --no-print-directory --silent #
    11 VPATH = ${Figures}
     11VPATH = ${Build} ${Figures}
    1212
    1313## Define the text source files.
    … …  
    5656        dvips ${Build}/$< -o $@
    5757
    58 ${basename ${DOCUMENT}}.dvi : Makefile ${Build} ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} ${basename ${DOCUMENT}}.tex \
     58${basename ${DOCUMENT}}.dvi : Makefile ${Build} ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} \
    5959                ${Macros}/common.tex ${Macros}/lstlang.sty ${Macros}/indexstyle ../bibliography/pl.bib
    6060        # Conditionally create an empty *.ind (index) file for inclusion until makeindex is run.

  • doc/user/user.tex

    rd0a045c7 r85521c7  
    1111%% Created On       : Wed Apr  6 14:53:29 2016
    1212%% Last Modified By : Peter A. Buhr
    13 %% Last Modified On : Wed Jan 31 07:59:24 2018
    14 %% Update Count     : 3146
     13%% Last Modified On : Wed Jan 31 22:29:25 2018
     14%% Update Count     : 3147
    1515%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    1616

  • src/Common/PassVisitor.h

    rd0a045c7 r85521c7  
    291291        bool_ref * get_visit_children_ptr() { return visit_children_impl(pass, 0); }
    292292
    293         void indexerScopeEnter  ()                             { indexer_impl_enterScope  ( pass, 0       ); }
    294         void indexerScopeLeave  ()                             { indexer_impl_leaveScope  ( pass, 0       ); }
    295         void indexerAddId       ( DeclarationWithType * node ) { indexer_impl_addId       ( pass, 0, node ); }
    296         void indexerAddType     ( NamedTypeDecl       * node ) { indexer_impl_addType     ( pass, 0, node ); }
    297         void indexerAddStruct   ( const std::string   & id   ) { indexer_impl_addStruct   ( pass, 0, id   ); }
    298         void indexerAddStruct   ( StructDecl          * node ) { indexer_impl_addStruct   ( pass, 0, node ); }
    299         void indexerAddStructFwd( StructDecl          * node ) { indexer_impl_addStructFwd( pass, 0, node ); }
    300         void indexerAddEnum     ( EnumDecl            * node ) { indexer_impl_addEnum     ( pass, 0, node ); }
    301         void indexerAddUnion    ( const std::string   & id   ) { indexer_impl_addUnion    ( pass, 0, id   ); }
    302         void indexerAddUnion    ( UnionDecl           * node ) { indexer_impl_addUnion    ( pass, 0, node ); }
    303         void indexerAddUnionFwd ( UnionDecl           * node ) { indexer_impl_addUnionFwd ( pass, 0, node ); }
    304         void indexerAddTrait    ( TraitDecl           * node ) { indexer_impl_addTrait    ( pass, 0, node ); }
    305         void indexerAddWith     ( WithStmt            * node ) { indexer_impl_addWith    ( pass, 0, node ); }
     293        void indexerScopeEnter  ()                                    { indexer_impl_enterScope  ( pass, 0       ); }
     294        void indexerScopeLeave  ()                                    { indexer_impl_leaveScope  ( pass, 0       ); }
     295        void indexerAddId       ( DeclarationWithType       * node ) { indexer_impl_addId       ( pass, 0, node ); }
     296        void indexerAddType     ( NamedTypeDecl             * node ) { indexer_impl_addType     ( pass, 0, node ); }
     297        void indexerAddStruct   ( const std::string         & id    ) { indexer_impl_addStruct   ( pass, 0, id   ); }
     298        void indexerAddStruct   ( StructDecl                * node ) { indexer_impl_addStruct   ( pass, 0, node ); }
     299        void indexerAddStructFwd( StructDecl                * node ) { indexer_impl_addStructFwd( pass, 0, node ); }
     300        void indexerAddEnum     ( EnumDecl                  * node ) { indexer_impl_addEnum     ( pass, 0, node ); }
     301        void indexerAddUnion    ( const std::string         & id    ) { indexer_impl_addUnion    ( pass, 0, id   ); }
     302        void indexerAddUnion    ( UnionDecl                 * node ) { indexer_impl_addUnion    ( pass, 0, node ); }
     303        void indexerAddUnionFwd ( UnionDecl                 * node ) { indexer_impl_addUnionFwd ( pass, 0, node ); }
     304        void indexerAddTrait    ( TraitDecl                 * node ) { indexer_impl_addTrait    ( pass, 0, node ); }
     305        void indexerAddWith     ( std::list< Expression * > & exprs ) { indexer_impl_addWith     ( pass, 0, exprs ); }
    306306
    307307

  • src/Common/PassVisitor.impl.h

    rd0a045c7 r85521c7  
    365365        maybeAccept_impl   ( node->attributes   , *this );
    366366
    367         if ( node->name != "" ) {
    368                 indexerAddId( node );
    369         }
     367        indexerAddId( node );
    370368
    371369        VISIT_END( node );
    … …  
    381379        maybeMutate_impl   ( node->attributes   , *this );
    382380
    383         if ( node->name != "" ) {
    384                 indexerAddId( node );
    385         }
     381        indexerAddId( node );
    386382
    387383        MUTATE_END( DeclarationWithType, node );
    … …  
    394390        VISIT_START( node );
    395391
    396         if ( node->name != "" ) {
    397                 indexerAddId( node );
    398         }
    399 
    400         {
    401                 auto guard = makeFuncGuard( [this]() { indexerScopeEnter(); }, [this]() { indexerScopeLeave(); } );
    402                 // implicit add __func__ identifier as specified in the C manual 6.4.2.2
    403                 static ObjectDecl func(
    404                         "__func__", noStorageClasses, LinkageSpec::C, nullptr,
    405                         new ArrayType( Type::Qualifiers(), new BasicType( Type::Qualifiers( Type::Const ), BasicType::Char ), nullptr, true, false ),
    406                         nullptr
    407                 );
    408                 indexerAddId( &func );
    409                 maybeAccept_impl( node->type, *this );
    410                 maybeAccept_impl( node->statements, *this );
    411                 maybeAccept_impl( node->attributes, *this );
     392        indexerAddId( node );
     393
     394        maybeAccept_impl( node->withExprs, *this );
     395        {
     396                // with clause introduces a level of scope (for the with expression members).
     397                // with clause exprs are added to the indexer before parameters so that parameters
     398                // shadow with exprs and not the other way around.
     399                auto guard = makeFuncGuard( [this]() { indexerScopeEnter(); }, [this]() { indexerScopeLeave(); } );
     400                indexerAddWith( node->withExprs );
     401                {
     402                        auto guard = makeFuncGuard( [this]() { indexerScopeEnter(); }, [this]() { indexerScopeLeave(); } );
     403                        // implicit add __func__ identifier as specified in the C manual 6.4.2.2
     404                        static ObjectDecl func(
     405                                "__func__", noStorageClasses, LinkageSpec::C, nullptr,
     406                                new ArrayType( Type::Qualifiers(), new BasicType( Type::Qualifiers( Type::Const ), BasicType::Char ), nullptr, true, false ),
     407                                nullptr
     408                        );
     409                        indexerAddId( &func );
     410                        maybeAccept_impl( node->type, *this );
     411                        maybeAccept_impl( node->statements, *this );
     412                        maybeAccept_impl( node->attributes, *this );
     413                }
    412414        }
    413415
    … …  
    419421        MUTATE_START( node );
    420422
    421         if ( node->name != "" ) {
    422                 indexerAddId( node );
    423         }
    424 
    425         {
    426                 auto guard = makeFuncGuard( [this]() { indexerScopeEnter(); }, [this]() { indexerScopeLeave(); } );
    427                 // implicit add __func__ identifier as specified in the C manual 6.4.2.2
    428                 static ObjectDecl func(
    429                         "__func__", noStorageClasses, LinkageSpec::C, nullptr,
    430                         new ArrayType( Type::Qualifiers(), new BasicType( Type::Qualifiers( Type::Const ), BasicType::Char ), nullptr, true, false ),
    431                         nullptr
    432                 );
    433                 indexerAddId( &func );
    434                 maybeMutate_impl( node->type, *this );
    435                 maybeMutate_impl( node->statements, *this );
    436                 maybeMutate_impl( node->attributes, *this );
     423        indexerAddId( node );
     424
     425        {
     426                // with clause introduces a level of scope (for the with expression members).
     427                // with clause exprs are added to the indexer before parameters so that parameters
     428                // shadow with exprs and not the other way around.
     429                auto guard = makeFuncGuard( [this]() { indexerScopeEnter(); }, [this]() { indexerScopeLeave(); } );
     430                indexerAddWith( node->withExprs );
     431                {
     432                        auto guard = makeFuncGuard( [this]() { indexerScopeEnter(); }, [this]() { indexerScopeLeave(); } );
     433                        // implicit add __func__ identifier as specified in the C manual 6.4.2.2
     434                        static ObjectDecl func(
     435                                "__func__", noStorageClasses, LinkageSpec::C, nullptr,
     436                                new ArrayType( Type::Qualifiers(), new BasicType( Type::Qualifiers( Type::Const ), BasicType::Char ), nullptr, true, false ),
     437                                nullptr
     438                        );
     439                        indexerAddId( &func );
     440                        maybeMutate_impl( node->type, *this );
     441                        maybeMutate_impl( node->statements, *this );
     442                        maybeMutate_impl( node->attributes, *this );
     443                }
    437444        }
    438445
    … …  
    730737template< typename pass_type >
    731738void PassVisitor< pass_type >::visit( AsmStmt * node ) {
    732         VISIT_BODY( node );
     739        VISIT_START( node )
     740
     741        maybeAccept_impl( node->instruction, *this );
     742        maybeAccept_impl( node->output, *this );
     743        maybeAccept_impl( node->input, *this );
     744        maybeAccept_impl( node->clobber, *this );
     745
     746        VISIT_END( node );
    733747}
    734748
    735749template< typename pass_type >
    736750Statement * PassVisitor< pass_type >::mutate( AsmStmt * node ) {
    737         MUTATE_BODY( Statement, node );
     751        MUTATE_START( node );
     752
     753        maybeMutate_impl( node->instruction, *this );
     754        maybeMutate_impl( node->output, *this );
     755        maybeMutate_impl( node->input, *this );
     756        maybeMutate_impl( node->clobber, *this );
     757
     758        MUTATE_END( Statement, node );
    738759}
    739760
    … …  
    868889template< typename pass_type >
    869890void PassVisitor< pass_type >::visit( BranchStmt * node ) {
    870         VISIT_BODY( node );
     891        VISIT_START( node );
     892        VISIT_END( node );
    871893}
    872894
    873895template< typename pass_type >
    874896Statement * PassVisitor< pass_type >::mutate( BranchStmt * node ) {
    875         MUTATE_BODY( Statement, node );
     897        MUTATE_START( node );
     898        MUTATE_END( Statement, node );
    876899}
    877900
    … …  
    901924template< typename pass_type >
    902925void PassVisitor< pass_type >::visit( ThrowStmt * node ) {
    903         VISIT_BODY( node );
     926        VISIT_START( node );
     927
     928        maybeAccept_impl( node->expr, *this );
     929        maybeAccept_impl( node->target, *this );
     930
     931        VISIT_END( node );
    904932}
    905933
    906934template< typename pass_type >
    907935Statement * PassVisitor< pass_type >::mutate( ThrowStmt * node ) {
    908         MUTATE_BODY( Statement, node );
     936        MUTATE_START( node );
     937
     938        maybeMutate_impl( node->expr, *this );
     939        maybeMutate_impl( node->target, *this );
     940
     941        MUTATE_END( Statement, node );
    909942}
    910943
    … …  
    9961029                // catch statements introduce a level of scope (for the caught exception)
    9971030                auto guard = makeFuncGuard( [this]() { indexerScopeEnter(); }, [this]() { indexerScopeLeave(); } );
    998                 indexerAddWith( node );
     1031                indexerAddWith( node->exprs );
    9991032                maybeAccept_impl( node->stmt, *this );
    10001033        }
    … …  
    10091042                // catch statements introduce a level of scope (for the caught exception)
    10101043                auto guard = makeFuncGuard( [this]() { indexerScopeEnter(); }, [this]() { indexerScopeLeave(); } );
    1011                 indexerAddWith( node );
     1044                indexerAddWith( node->exprs );
    10121045                maybeMutate_impl( node->stmt, *this );
    10131046        }

  • src/Common/PassVisitor.proto.h

    rd0a045c7 r85521c7  
    202202static inline void indexer_impl_##func ( pass_type &, long, type ) { }                                                          \
    203203
    204 INDEXER_FUNC( addId     , DeclarationWithType * );
    205 INDEXER_FUNC( addType   , NamedTypeDecl *       );
    206 INDEXER_FUNC( addStruct , StructDecl *          );
    207 INDEXER_FUNC( addEnum   , EnumDecl *            );
    208 INDEXER_FUNC( addUnion  , UnionDecl *           );
    209 INDEXER_FUNC( addTrait  , TraitDecl *           );
    210 INDEXER_FUNC( addWith   , WithStmt *            );
     204INDEXER_FUNC( addId     , DeclarationWithType *       );
     205INDEXER_FUNC( addType   , NamedTypeDecl *             );
     206INDEXER_FUNC( addStruct , StructDecl *                );
     207INDEXER_FUNC( addEnum   , EnumDecl *                  );
     208INDEXER_FUNC( addUnion  , UnionDecl *                 );
     209INDEXER_FUNC( addTrait  , TraitDecl *                 );
     210INDEXER_FUNC( addWith   , std::list< Expression * > & );
    211211
    212212

  • src/Parser/DeclarationNode.cc

    rd0a045c7 r85521c7  
    723723}
    724724
    725 DeclarationNode * DeclarationNode::addFunctionBody( StatementNode * body, StatementNode * with ) {
     725DeclarationNode * DeclarationNode::addFunctionBody( StatementNode * body, ExpressionNode * withExprs ) {
    726726        assert( type );
    727727        assert( type->kind == TypeData::Function );
    728728        assert( ! type->function.body );
    729         if ( with ) {
    730                 // convert
    731                 //  void f(S s) with (s) { x = 0; }
    732                 // to
    733                 //  void f(S s) { with(s) { x = 0; } }
    734                 WithStmt * withStmt = strict_dynamic_cast< WithStmt * >( with->build() );
    735                 withStmt->stmt = body->build();
    736                 delete body;
    737                 delete with;
    738                 body = new StatementNode( new CompoundStmt( { withStmt } ) );
    739         }
    740729        type->function.body = body;
     730        type->function.withExprs = withExprs;
    741731        return this;
    742732}

  • src/Parser/ParseNode.h

    rd0a045c7 r85521c7  
    262262        DeclarationNode * addBitfield( ExpressionNode * size );
    263263        DeclarationNode * addVarArgs();
    264         DeclarationNode * addFunctionBody( StatementNode * body, StatementNode * with = nullptr );
     264        DeclarationNode * addFunctionBody( StatementNode * body, ExpressionNode * with = nullptr );
    265265        DeclarationNode * addOldDeclList( DeclarationNode * list );
    266266        DeclarationNode * setBase( TypeData * newType );

  • src/Parser/TypeData.cc

    rd0a045c7 r85521c7  
    5555                function.body = nullptr;
    5656                function.newStyle = false;
     57                function.withExprs = nullptr;
    5758                break;
    5859                // Enum is an Aggregate, so both structures are initialized together.
    … …  
    122123                delete function.oldDeclList;
    123124                delete function.body;
     125                delete function.withExprs;
    124126                // delete function;
    125127                break;
    … …  
    194196                newtype->function.body = maybeClone( function.body );
    195197                newtype->function.newStyle = function.newStyle;
     198                newtype->function.withExprs = maybeClone( function.withExprs );
    196199                break;
    197200          case Aggregate:
    … …  
    861864                CompoundStmt * body = dynamic_cast< CompoundStmt * >( stmt );
    862865                decl = new FunctionDecl( name, scs, linkage, buildFunction( td ), body, attributes, funcSpec );
     866                buildList( td->function.withExprs, decl->withExprs );
    863867                return decl->set_asmName( asmName );
    864868        } else if ( td->kind == TypeData::Aggregate ) {

  • src/Parser/TypeData.h

    rd0a045c7 r85521c7  
    6565                StatementNode * body;
    6666                bool newStyle;
     67                ExpressionNode * withExprs;             // expressions from function's with_clause
    6768        };
    6869

  • src/Parser/parser.yy

    rd0a045c7 r85521c7  
    259259%type<sn> iteration_statement                   jump_statement
    260260%type<sn> expression_statement                  asm_statement
    261 %type<sn> with_statement                                with_clause_opt
     261%type<sn> with_statement
     262%type<en> with_clause_opt
    262263%type<sn> exception_statement                   handler_clause                          finally_clause
    263264%type<catch_kind> handler_key
    … …  
    24172418                { $$ = nullptr; }
    24182419        | WITH '(' tuple_expression_list ')'
    2419                 { $$ = new StatementNode( build_with( $3, nullptr ) ); }
     2420                { $$ = $3; }
    24202421        ;
    24212422

  • src/ResolvExpr/AlternativeFinder.cc

    rd0a045c7 r85521c7  
    15631563                // find alternatives for condition
    15641564                AlternativeFinder firstFinder( indexer, env );
    1565                 firstFinder.findWithAdjustment( conditionalExpr->get_arg1() );
     1565                firstFinder.findWithAdjustment( conditionalExpr->arg1 );
    15661566                if ( firstFinder.alternatives.empty() ) return;
    15671567                // find alternatives for true expression
    15681568                AlternativeFinder secondFinder( indexer, env );
    1569                 secondFinder.findWithAdjustment( conditionalExpr->get_arg2() );
     1569                secondFinder.findWithAdjustment( conditionalExpr->arg2 );
    15701570                if ( secondFinder.alternatives.empty() ) return;
    15711571                // find alterantives for false expression
    15721572                AlternativeFinder thirdFinder( indexer, env );
    1573                 thirdFinder.findWithAdjustment( conditionalExpr->get_arg3() );
     1573                thirdFinder.findWithAdjustment( conditionalExpr->arg3 );
    15741574                if ( thirdFinder.alternatives.empty() ) return;
    1575                 for ( AltList::const_iterator first = firstFinder.alternatives.begin(); first != firstFinder.alternatives.end(); ++first ) {
    1576                         for ( AltList::const_iterator second = secondFinder.alternatives.begin(); second != secondFinder.alternatives.end(); ++second ) {
    1577                                 for ( AltList::const_iterator third = thirdFinder.alternatives.begin(); third != thirdFinder.alternatives.end(); ++third ) {
     1575                for ( const Alternative & first : firstFinder.alternatives ) {
     1576                        for ( const Alternative & second : secondFinder.alternatives ) {
     1577                                for ( const Alternative & third : thirdFinder.alternatives ) {
    15781578                                        TypeEnvironment compositeEnv;
    1579                                         compositeEnv.simpleCombine( first->env );
    1580                                         compositeEnv.simpleCombine( second->env );
    1581                                         compositeEnv.simpleCombine( third->env );
     1579                                        compositeEnv.simpleCombine( first.env );
     1580                                        compositeEnv.simpleCombine( second.env );
     1581                                        compositeEnv.simpleCombine( third.env );
    15821582
    15831583                                        // unify true and false types, then infer parameters to produce new alternatives
    15841584                                        OpenVarSet openVars;
    15851585                                        AssertionSet needAssertions, haveAssertions;
    1586                                         Alternative newAlt( 0, compositeEnv, first->cost + second->cost + third->cost );
     1586                                        Alternative newAlt( 0, compositeEnv, first.cost + second.cost + third.cost );
    15871587                                        Type* commonType = nullptr;
    1588                                         if ( unify( second->expr->get_result(), third->expr->get_result(), newAlt.env, needAssertions, haveAssertions, openVars, indexer, commonType ) ) {
    1589                                                 ConditionalExpr *newExpr = new ConditionalExpr( first->expr->clone(), second->expr->clone(), third->expr->clone() );
    1590                                                 newExpr->set_result( commonType ? commonType : second->expr->get_result()->clone() );
     1588                                        if ( unify( second.expr->result, third.expr->result, newAlt.env, needAssertions, haveAssertions, openVars, indexer, commonType ) ) {
     1589                                                ConditionalExpr *newExpr = new ConditionalExpr( first.expr->clone(), second.expr->clone(), third.expr->clone() );
     1590                                                newExpr->result = commonType ? commonType : second.expr->result->clone();
    15911591                                                // convert both options to the conditional result type
    15921592                                                newAlt.cost += computeExpressionConversionCost( newExpr->arg2, newExpr->result, indexer, newAlt.env );

  • src/ResolvExpr/Resolver.cc

    rd0a045c7 r85521c7  
    8282                void previsit( ConstructorInit *ctorInit );
    8383          private:
    84         typedef std::list< Initializer * >::iterator InitIterator;
     84                typedef std::list< Initializer * >::iterator InitIterator;
    8585
    8686                template< typename PtrType >
    8787                void handlePtrType( PtrType * type );
    8888
    89           void resolveAggrInit( ReferenceToType *, InitIterator &, InitIterator & );
    90           void resolveSingleAggrInit( Declaration *, InitIterator &, InitIterator &, TypeSubstitution sub );
    91           void fallbackInit( ConstructorInit * ctorInit );
     89                void resolveWithExprs( std::list< Expression * > & withExprs, std::list< Statement * > & newStmts );
     90                void fallbackInit( ConstructorInit * ctorInit );
    9291
    9392                Type * functionReturn = nullptr;
    … …  
    269268                std::cerr << std::endl;
    270269#endif
    271                 Type *new_type = resolveTypeof( functionDecl->get_type(), indexer );
     270                Type *new_type = resolveTypeof( functionDecl->type, indexer );
    272271                functionDecl->set_type( new_type );
    273272                GuardValue( functionReturn );
    274                 functionReturn = ResolvExpr::extractResultType( functionDecl->get_functionType() );
     273                functionReturn = ResolvExpr::extractResultType( functionDecl->type );
     274
     275                {
     276                        // resolve with-exprs with parameters in scope and add any newly generated declarations to the
     277                        // front of the function body.
     278                        auto guard = makeFuncGuard( [this]() { indexer.enterScope(); }, [this](){ indexer.leaveScope(); } );
     279                        indexer.addFunctionType( functionDecl->type );
     280                        std::list< Statement * > newStmts;
     281                        resolveWithExprs( functionDecl->withExprs, newStmts );
     282                        functionDecl->statements->kids.splice( functionDecl->statements->kids.begin(), newStmts );
     283                }
    275284        }
    276285
    … …  
    279288                // xxx - it might be necessary to somehow keep the information from this environment, but I can't currently
    280289                // see how it's useful.
    281                 for ( Declaration * d : functionDecl->get_functionType()->get_parameters() ) {
     290                for ( Declaration * d : functionDecl->type->parameters ) {
    282291                        if ( ObjectDecl * obj = dynamic_cast< ObjectDecl * >( d ) ) {
    283                                 if ( SingleInit * init = dynamic_cast< SingleInit * >( obj->get_init() ) ) {
    284                                         delete init->get_value()->get_env();
    285                                         init->get_value()->set_env( nullptr );
     292                                if ( SingleInit * init = dynamic_cast< SingleInit * >( obj->init ) ) {
     293                                        delete init->value->env;
     294                                        init->value->env = nullptr;
    286295                                }
    287296                        }
    … …  
    584593        }
    585594
    586 
    587         void Resolver::previsit( WithStmt * withStmt ) {
    588                 for ( Expression *& expr : withStmt->exprs )  {
     595        void Resolver::resolveWithExprs( std::list< Expression * > & withExprs, std::list< Statement * > & newStmts ) {
     596                for ( Expression *& expr : withExprs )  {
    589597                        // only struct- and union-typed expressions are viable candidates
    590598                        findKindExpression( expr, indexer, "with statement", isStructOrUnion );
    … …  
    595603                                ObjectDecl * tmp = ObjectDecl::newObject( tmpNamer.newName(), expr->result->clone(), new SingleInit( expr ) );
    596604                                expr = new VariableExpr( tmp );
    597                                 stmtsToAddBefore.push_back( new DeclStmt( tmp ) );
     605                                newStmts.push_back( new DeclStmt( tmp ) );
    598606                                if ( InitTweak::isConstructable( tmp->type ) ) {
    599607                                        // generate ctor/dtor and resolve them
    … …  
    603611                        }
    604612                }
     613        }
     614
     615        void Resolver::previsit( WithStmt * withStmt ) {
     616                resolveWithExprs( withStmt->exprs, stmtsToAddBefore );
    605617        }
    606618
    … …  
    716728                PassVisitor<Resolver> resolver( indexer );
    717729                stmtExpr->accept( resolver );
     730                stmtExpr->computeResult();
    718731        }
    719732

  • src/SymTab/Indexer.cc

    rd0a045c7 r85521c7  
    409409
    410410        void Indexer::addId( DeclarationWithType *decl, Expression * baseExpr ) {
     411                if ( decl->name == "" ) return;
    411412                debugPrint( "Adding Id " << decl->name << std::endl );
    412413                makeWritable();
    … …  
    588589        }
    589590
    590         void Indexer::addWith( WithStmt * stmt ) {
    591                 for ( Expression * expr : stmt->exprs ) {
     591        void Indexer::addWith( std::list< Expression * > & withExprs ) {
     592                for ( Expression * expr : withExprs ) {
    592593                        if ( expr->result ) {
    593594                                AggregateDecl * aggr = expr->result->stripReferences()->getAggr();

  • src/SymTab/Indexer.h

    rd0a045c7 r85521c7  
    8484
    8585                /// adds all of the IDs from WithStmt exprs
    86                 void addWith( WithStmt * );
     86                void addWith( std::list< Expression * > & withExprs );
    8787
    8888                /// adds all of the members of the Aggregate (addWith helper)

  • src/SynTree/Declaration.h

    rd0a045c7 r85521c7  
    151151        FunctionType *type;
    152152        CompoundStmt *statements;
     153        std::list< Expression * > withExprs;
    153154
    154155        FunctionDecl( const std::string &name, Type::StorageClasses scs, LinkageSpec::Spec linkage, FunctionType *type, CompoundStmt *statements,

  • src/SynTree/Expression.cc

    rd0a045c7 r85521c7  
    597597
    598598StmtExpr::StmtExpr( CompoundStmt *statements ) : statements( statements ) {
    599         assert( statements );
    600         std::list< Statement * > & body = statements->get_kids();
    601         if ( ! body.empty() ) {
    602                 if ( ExprStmt * exprStmt = dynamic_cast< ExprStmt * >( body.back() ) ) {
    603                         result = maybeClone( exprStmt->expr->result );
    604                 }
    605         }
    606         // ensure that StmtExpr has a result type
    607         if ( ! result ) {
    608                 result = new VoidType( Type::Qualifiers() );
    609         }
     599        computeResult();
    610600}
    611601StmtExpr::StmtExpr( const StmtExpr &other ) : Expression( other ), statements( other.statements->clone() ) {
    … …  
    617607        deleteAll( dtors );
    618608        deleteAll( returnDecls );
     609}
     610void StmtExpr::computeResult() {
     611        assert( statements );
     612        std::list< Statement * > & body = statements->kids;
     613        delete result;
     614        result = nullptr;
     615        if ( ! returnDecls.empty() ) {
     616                // prioritize return decl for result type, since if a return decl exists, then
     617                // the StmtExpr is currently in an intermediate state where the body will always
     618                // give a void result type.
     619                result = returnDecls.front()->get_type()->clone();
     620        } else if ( ! body.empty() ) {
     621                if ( ExprStmt * exprStmt = dynamic_cast< ExprStmt * >( body.back() ) ) {
     622                        result = maybeClone( exprStmt->expr->result );
     623                }
     624        }
     625        // ensure that StmtExpr has a result type
     626        if ( ! result ) {
     627                result = new VoidType( Type::Qualifiers() );
     628        }
    619629}
    620630void StmtExpr::print( std::ostream &os, Indenter indent ) const {

  • src/SynTree/Expression.h

    rd0a045c7 r85521c7  
    728728        StmtExpr * set_statements( CompoundStmt * newValue ) { statements = newValue; return this; }
    729729
     730        // call to set the result type of this StmtExpr based on its body
     731        void computeResult();
     732
    730733        std::list< ObjectDecl * > & get_returnDecls() { return returnDecls; }
    731734        std::list< Expression * > & get_dtors() { return dtors; }

  • src/SynTree/FunctionDecl.cc

    rd0a045c7 r85521c7  
    5151                VarExprReplacer::replace( this, declMap );
    5252        }
     53        cloneAll( other.withExprs, withExprs );
    5354}
    5455
    … …  
    5657        delete type;
    5758        delete statements;
     59        deleteAll( withExprs );
    5860}
    5961
Note: See TracChangeset for help on using the changeset viewer.