repo.or.cz
/
official-gcc.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
gccrs: add test case to show our query-type system is working
2023-04-06
Philip
H
erro
n
gcc
r
s: add
t
est cas
e
to show our q
u
ery-type s
y
stem
.
.
.
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
Ph
i
lip Herron
g
ccrs: F
i
x reg
r
essi
o
n
i
n
t
estcase
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
Philip Herron
g
ccrs:
S
upport for S
i
zed b
u
iltin marker
tr
a
it
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
Phil
i
p
H
erron
g
c
c
rs: Ad
d
new vir
t
ual
f
u
ncti
o
n HIR:
:
ImplIt
e
m::
g
et_i
m
pl_item
.
.
.
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
Phi
l
ip
H
er
r
on
gccrs: Ext
r
act
q
uery
_
type
f
rom TypeCh
e
c
kBase t
o
b
e
.
.
.
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
Philip Herron
g
c
crs: Add gener
a
l Ty
p
eBound
s
checks
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
Philip H
e
rron
gccrs: Remo
v
e bad error
m
essage
o
n checking
f
unction
.
.
.
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
P
h
i
lip
Her
r
on
gccrs: Fix
hi
g
her ranked trait
bou
n
ds compu
t
ation of
.
.
.
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
Philip He
r
ron
gccrs: A
d
d mi
s
sing Sized, Copy and Clo
n
e lang item
.
.
.
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
P
hilip Herr
o
n
gc
c
rs:
F
ix nullp
t
r dereferenc
e
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
Phil
i
p Her
r
on
gccrs: Refact
o
r
t
h
e type unification
c
o
de
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
P
hilip H
e
rron
gccrs: Remove monomorph
i
zation hack t
o
setup possible
.
.
.
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
P
hilip H
e
rron
gccrs: Add
m
issing param s
u
bst callba
c
k
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
Philip
H
e
r
r
on
gccrs: C
l
ear the
substitution
c
allbac
k
s when
c
opying
.
.
.
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
Philip Her
r
on
gccrs: Refa
c
tor handl
e
_substitu
t
ions to
take a re
f
erence
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
Philip Herron
gccrs: Rename
hea
d
er r
u
st-
h
ir-trait
-
ref
.
h to rust-hir
.
.
.
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
Philip Herron
gcc
r
s
:
Rename
r
ust-tyctx
.
cc to r
u
st-typecheck
-
context
.
cc
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
Philip Herron
gccrs: Refactor
all code out o
f
t
h
e rus
t
-
t
yty
.
h header
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
Philip Herron
gcc
r
s: Refac
t
or PathProbeT
y
pe
c
ode
i
n
to C
C
file
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
Ph
i
lip Herr
o
n
gccrs:
R
efact
o
r PathProb
e
int
o
cc fil
e
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
P
hilip He
r
ron
g
c
c
rs:
R
e
fact
o
r
Base
T
yp
e
, InferType and Err
o
rType impl
.
.
.
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
Phili
p
Herron
gccrs: Refactor all su
b
stitutio
n
mapper code implementation
.
.
.
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
Philip
He
r
ron
gccrs: Refactor Su
b
stitutionRef base class into its
.
.
.
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
Phili
p
Herron
g
c
crs: Refactor TyVar and
T
ypeBoundPred
i
cates
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
Philip Herron
gccrs:
Move TypePredicate
I
tem impl ou
t
of the header
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
Ph
i
l
ip Herron
gccrs: Add another test c
a
se for
passing ass
o
ciated
.
.
.
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
Ph
i
lip Herron
g
ccrs
:
Support as
s
ociate
d
type bound argument
s
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-04-06
Philip Herron
gccrs: Add n
a
m
e
r
esolution t
o
generic argu
m
ent associated
.
.
.
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2023-02-21
Phili
p
Her
r
on
gccr
s
: Cleanup
u
nused pa
r
ameters to fix the bootstr
a
p
.
.
.
commit
|
commitdiff
|
tree
2023-02-21
Philip Herron
gccrs: Skip this debug
test
c
ase w
h
i
ch is failing on
.
.
.
commit
|
commitdiff
|
tree
2023-02-21
P
h
ilip Herron
gccrs:
F
ix
undefined behaviour i
s
sues on macos
commit
|
commitdiff
|
tree
2023-02-21
P
hilip Herro
n
gc
c
r
s
: Add initial support for argument c
a
p
ture of
.
.
.
commit
|
commitdiff
|
tree
2023-02-21
Philip Herron
gccrs
:
Add capture
t
racking
to the t
y
pe
i
nfo for closures
commit
|
commitdiff
|
tree
2023-02-21
Phil
i
p Herron
gccrs: Add closure bi
n
ding's tracking to na
m
e res
o
l
uti
o
n
commit
|
commitdiff
|
tree
2023-02-21
Philip Herron
gccrs: Refact
o
r name
r
esolver to
t
ake a Rib:
:
I
temTy
p
e
commit
|
commitdiff
|
tree
2023-02-21
Philip Herron
gcc
r
s: Get rid o
f
mak
e
buil
t
in macro
commit
|
commitdiff
|
tree
2023-02-21
Philip Herron
g
c
crs:
Support Clo
s
u
r
e
calls as
generic t
r
ai
t
b
o
unds
commit
|
commitdiff
|
tree
2023-02-21
Philip Herron
gccrs: Add
miss
i
ng type res
o
lution for f
u
nction type
.
.
.
commit
|
commitdiff
|
tree
2023-02-21
Ph
i
lip Herron
gccrs:
A
dd missing hir lowering to f
u
nc
t
ion type-path
.
.
.
commit
|
commitdiff
|
tree
2023-02-21
Philip Herron
gccrs: Add
m
issin
g
name
resolution to
F
u
nct
i
on type
.
.
.
commit
|
commitdiff
|
tree
2023-02-21
P
h
i
l
i
p Herron
gccrs:
Clo
s
ure
s
upport at
C
allExpr
commit
|
commitdiff
|
tree
2023-02-21
Philip Herron
g
c
crs:
Initial Type resolution for closur
e
s
commit
|
commitdiff
|
tree
2023-02-21
P
hilip
Herro
n
gccrs: Add closure
s
t
o
lint
s
and err
o
r checking
commit
|
commitdiff
|
tree
2023-02-21
P
h
i
l
ip Herron
gccrs: Refactor
m
ethod c
a
ll t
y
pe chec
k
ing
commit
|
commitdiff
|
tree
2023-02-21
Phi
l
ip Herron
g
ccrs: Add name r
e
solution
f
or closures
commit
|
commitdiff
|
tree
2023-02-21
P
hilip Herron
gc
c
rs: F
o
rmatting cleanup i
n
H
I
R lowering
pattern
commit
|
commitdiff
|
tree
2023-02-21
Philip Her
r
on
gccrs: Refactor ex
p
ression h
i
r lowering into
c
c
file
commit
|
commitdiff
|
tree
2023-02-21
Phi
l
ip Herron
g
ccrs: A
d
d missing
f
n_once_output langi
t
e
m
commit
|
commitdiff
|
tree
2023-02-21
Philip Herron
gc
c
rs: A
d
d check for r
e
curs
i
ve trait c
y
c
l
es
commit
|
commitdiff
|
tree
2023-02-21
Philip Herron
g
c
crs: S
u
ppo
r
t outer attri
b
u
t
e
handl
i
n
g
on trait it
e
ms
.
.
.
commit
|
commitdiff
|
tree
2023-02-21
Philip
Herron
gccrs:
R
efactor Tr
a
it
R
e
s
olver to
not req
u
ire a visitor
commit
|
commitdiff
|
tree
2023-02-21
Philip Herro
n
gc
c
rs: Me
t
hod resolution
m
ust support
m
ultiple
c
andidates
commit
|
commitdiff
|
tree
2023-02-21
Phili
p
Herron
g
ccrs: Add ABI mappings for rust-call to map to ABI
.
.
.
commit
|
commitdiff
|
tree
2023-02-21
P
hilip Herron
gc
c
rs: Add
mappings fo
r
fn_once
l
ang it
e
m
commit
|
commitdiff
|
tree
2023-02-21
Phi
l
ip
H
e
rron
gc
c
rs: Sup
p
ort type resol
u
tion on
s
uper traits on dyn
.
.
.
commit
|
commitdiff
|
tree
2023-02-21
Phil
i
p
H
erron
gc
c
rs: Su
p
port looking
up
s
uper traits for
trait items
commit
|
commitdiff
|
tree
2023-02-21
P
h
ilip Herron
g
c
crs: E
n
s
u
re un
i
queness on Path pro
b
e
'
s
commit
|
commitdiff
|
tree
2023-02-21
Ph
i
lip Herro
n
gccrs: T
r
ack Def
I
d on ADT
variants
commit
|
commitdiff
|
tree
2023-02-21
Ph
i
lip Her
r
on
gccrs:
Add catch fo
r
recusive
type
quer
i
es
commit
|
commitdiff
|
tree
2023-02-21
P
hilip
Herron
gcc
r
s: Fi
x
miss
i
ng
d
ead co
d
e a
n
a
l
y
s
is ICE o
n
local
.
.
.
commit
|
commitdiff
|
tree
2023-01-31
P
hilip Herron
gccr
s
: Add testcase to show forward declared item
s
.
.
.
commit
|
commitdiff
|
tree
2023-01-31
Philip Her
r
o
n
gccrs: Add testcase to show fo
r
ward decl
a
r
ed items
.
.
.
commit
|
commitdiff
|
tree
2023-01-31
Philip Herr
o
n
gccrs: Refactor TypeRe
s
ol
u
tion to
be a simple query
.
.
.
commit
|
commitdiff
|
tree
2023-01-31
Philip Herro
n
gccrs:
F
ix duplicated
f
unction gen
e
r
a
tion on high
e
r
.
.
.
commit
|
commitdiff
|
tree
2023-01-31
Philip Herron
g
ccrs: M
a
ke
c
o
nstexp
r
constructors
t
yp
e
-checking more
.
.
.
commit
|
commitdiff
|
tree
2023-01-31
P
h
ilip Herron
gc
c
rs:
Cleanup formattin
g
of back
e
n
d expre
s
sion
visitor
commit
|
commitdiff
|
tree
2023-01-31
P
hilip Herron
gccrs: Add tes
t
case
f
or const-eval issu
e
f
rom rust
.
.
.
commit
|
commitdiff
|
tree
2023-01-31
Philip
H
erron
gc
c
rs:
rem
o
ve bad
a
ssertion
commit
|
commitdiff
|
tree
2023-01-31
Ph
i
lip Herron
gccrs
:
St
a
tics are a coer
c
ion site
commit
|
commitdiff
|
tree
2023-01-31
Ph
i
lip Herro
n
gccrs: Stati
c
Items must b
e
const
e
valuated
commit
|
commitdiff
|
tree
2023-01-31
Philip Her
r
o
n
gccrs:
Unit struc
t
s are
n
ot c
o
ncrete when
the
y
need
.
.
.
commit
|
commitdiff
|
tree
2023-01-31
P
hilip Herron
gccrs: A
d
d new che
c
k for conta
i
ns
_
asso
c
i
at
e
d_typ
e
s
commit
|
commitdiff
|
tree
2023-01-31
Philip Herron
gccrs: A
d
d ext
r
a debuggin
g
fo
r
method call expre
s
sio
n
s
commit
|
commitdiff
|
tree
2023-01-31
Phili
p
H
er
r
on
g
c
c
rs: Create canonic
a
l proc
e
ss of compili
n
g cons
t
ant
.
.
.
commit
|
commitdiff
|
tree
2023-01-31
Philip H
e
rro
n
gccrs
:
Remove para
m
_use_canoni
c
a
l
_
t
ypes c
h
ecks
p
or
t
ed
.
.
.
commit
|
commitdiff
|
tree
2023-01-31
P
h
ilip Her
r
on
gccrs: Re
f
actor unify to hi
t
a unify_site
commit
|
commitdiff
|
tree
2023-01-31
Phi
l
ip
Herro
n
gccrs:
Add missin
g
location info to
c
o
ercions
commit
|
commitdiff
|
tree
2023-01-31
Phil
i
p Her
r
on
gccrs: Add
g
uards against gettin
g
data
fr
o
m an empty
.
.
.
commit
|
commitdiff
|
tree
2023-01-31
Philip Herron
gccrs: De
s
ugar dou
b
le borrows
i
nto two HIR:
B
orrowExpr's
commit
|
commitdiff
|
tree
2023-01-10
Ph
i
l
i
p He
r
ron
MAIN
T
AINERS: Add myself a
s
Rust front-end m
a
intainer
* MAINTAINERS: Add
Philip Herron
as Rust front-end maintainer
Signed-off-by:
Philip Herron
<herron.philip@googlemail.com>
commit
|
commitdiff
|
tree
2022-12-13
Phi
l
ip Herron
gccrs:
A
d
d README, CONTRIBUTING and compiler logo
commit
|
commitdiff
|
tree
2022-12-13
Ph
i
l
ip He
r
ron
g
ccrs
:
A
d
d
c
o
n
f
ig
-
lang
.
i
n
commit
|
commitdiff
|
tree
2022-12-13
P
h
ilip Herr
o
n
gccrs: Add GCC Rust front-e
n
d Ma
k
e-
l
ang
.
in
commit
|
commitdiff
|
tree
2022-12-13
Ph
i
lip Herron
gc
c
rs: Add lang
.
opt
commit
|
commitdiff
|
tree
2022-12-13
Phili
p
Herron
g
c
c
r
s: Add lang-spec
.
h
commit
|
commitdiff
|
tree
2022-12-13
P
h
i
lip Her
r
on
gc
c
rs
:
Compiler proper
interface kicks
o
ff t
h
e
pipeline
commit
|
commitdiff
|
tree
2022-12-13
Philip Herron
gccrs:
A
dd compiler driver
commit
|
commitdiff
|
tree
2022-12-13
Philip He
r
ron
gccrs: These are wr
a
ppers ported
f
r
o
m reusing g
c
cgo
commit
|
commitdiff
|
tree
2022-12-13
Philip Herron
gccrs: Add HIR to GCC GENERIC
l
owe
r
ing entry point
commit
|
commitdiff
|
tree
2022-12-13
Philip Her
r
on
gccrs: A
d
d
H
IR to
G
CC
GENERIC lo
w
ering
for all nod
e
s
commit
|
commitdiff
|
tree
2022-12-13
Phili
p
Herron
gccr
s
: Ad
d
base for HIR to
G
CC GENERIC lowering
commit
|
commitdiff
|
tree
2022-12-13
Philip H
e
rr
o
n
gccrs: Add metada
t
a outp
u
t pa
s
s
commit
|
commitdiff
|
tree
2022-12-13
Philip Herron
gccrs: Add unused
v
a
riable sc
a
n
commit
|
commitdiff
|
tree
2022-12-13
P
hilip Herron
gc
c
rs: Add remaining type system transf
o
rmations
commit
|
commitdiff
|
tree
2022-12-13
Philip Herron
gc
c
rs:
A
d
d Ru
s
t type informatio
n
commit
|
commitdiff
|
tree
2022-12-13
Philip Herron
gccrs: Add typ
e
reso
l
ution
a
nd
trait sol
v
ing p
a
ss
commit
|
commitdiff
|
tree
2022-12-13
P
hi
l
ip
Herron
gccrs: Add helpers mappings canonical
p
ath and
lang
.
.
.
commit
|
commitdiff
|
tree
2022-12-13
Phil
i
p Herron
gccrs: Add
R
ust ABI enum helpers
commit
|
commitdiff
|
tree
2022-12-13
Phil
i
p Herron
gccrs: Add port of
FNV hash
u
sed d
u
ring
lega
c
y
symbol
.
.
.
commit
|
commitdiff
|
tree
2022-12-13
Philip Herron
gccrs: Add
w
rapp
e
r for make_unique
commit
|
commitdiff
|
tree
next