| .. |
|
fuzzer_corpus
|
24bde46181
Change array syntax from [T; N] to array(T, N) (#4981)
|
1 year ago |
|
testdata
|
53c98a8619
Support specialization in impl lookup with a symbolic query/impl. (#5169)
|
1 year ago |
|
BUILD
|
53c98a8619
Support specialization in impl lookup with a symbolic query/impl. (#5169)
|
1 year ago |
|
action.cpp
|
584426dfa2
Initial work on support for templates (#5081)
|
1 year ago |
|
action.h
|
584426dfa2
Initial work on support for templates (#5081)
|
1 year ago |
|
call.cpp
|
acbe6530c3
Move diagnostics into a namespace (#5173)
|
1 year ago |
|
call.h
|
187a3608df
Use `As` and `ImplicitAs` interfaces for conversions. (#4209)
|
1 year ago |
|
check.cpp
|
acbe6530c3
Move diagnostics into a namespace (#5173)
|
1 year ago |
|
check.h
|
acbe6530c3
Move diagnostics into a namespace (#5173)
|
1 year ago |
|
check_fuzzer.cpp
|
0d0e202ce8
Switch Driver back to parameters for construction (#4849)
|
1 year ago |
|
check_unit.cpp
|
c0ee446cec
Refactor InstBlockStore's API, AddDefaultValue -> AddPlaceholder (#5166)
|
1 year ago |
|
check_unit.h
|
acbe6530c3
Move diagnostics into a namespace (#5173)
|
1 year ago |
|
context.cpp
|
acbe6530c3
Move diagnostics into a namespace (#5173)
|
1 year ago |
|
context.h
|
acbe6530c3
Move diagnostics into a namespace (#5173)
|
1 year ago |
|
control_flow.cpp
|
c0ee446cec
Refactor InstBlockStore's API, AddDefaultValue -> AddPlaceholder (#5166)
|
1 year ago |
|
control_flow.h
|
b0d49ba957
Move control flow block functions to their own file. (#4921)
|
1 year ago |
|
convert.cpp
|
acbe6530c3
Move diagnostics into a namespace (#5173)
|
1 year ago |
|
convert.h
|
7c7e169994
Avoid diagnosing conversion errors inside deduction of impl arguments (#4976)
|
1 year ago |
|
decl_introducer_state.h
|
5574ad361d
Add more empty stack verification (#5020)
|
1 year ago |
|
decl_name_stack.cpp
|
6dbcc78e6c
Rewrite symbolic constants in generic redeclarations (#5154)
|
1 year ago |
|
decl_name_stack.h
|
6dbcc78e6c
Rewrite symbolic constants in generic redeclarations (#5154)
|
1 year ago |
|
deduce.cpp
|
acbe6530c3
Move diagnostics into a namespace (#5173)
|
1 year ago |
|
deduce.h
|
ce08e4d9a1
Avoid UAF in impl lookup when deduce imports an impl from Core (#5126)
|
1 year ago |
|
deferred_definition_worklist.cpp
|
16bf3f710e
Split deferred node traversal out from check.cpp (#4559)
|
1 year ago |
|
deferred_definition_worklist.h
|
16bf3f710e
Split deferred node traversal out from check.cpp (#4559)
|
1 year ago |
|
diagnostic_helpers.h
|
acbe6530c3
Move diagnostics into a namespace (#5173)
|
1 year ago |
|
dump.cpp
|
53c98a8619
Support specialization in impl lookup with a symbolic query/impl. (#5169)
|
1 year ago |
|
eval.cpp
|
acbe6530c3
Move diagnostics into a namespace (#5173)
|
1 year ago |
|
eval.h
|
53c98a8619
Support specialization in impl lookup with a symbolic query/impl. (#5169)
|
1 year ago |
|
eval_inst.cpp
|
53c98a8619
Support specialization in impl lookup with a symbolic query/impl. (#5169)
|
1 year ago |
|
eval_inst.h
|
584426dfa2
Initial work on support for templates (#5081)
|
1 year ago |
|
facet_type.cpp
|
c4c3381b18
Add `TypeId::is_symbolic` and `is_concrete`. (#5024)
|
1 year ago |
|
facet_type.h
|
eb69d7420e
First iteration of completing and resolving facet types (#4920)
|
1 year ago |
|
full_pattern_stack.h
|
d264f14027
Clean up handling of `Call` params (#5061)
|
1 year ago |
|
function.cpp
|
f97f1a3e11
Add error for virtual member function without self (#5005)
|
1 year ago |
|
function.h
|
f97f1a3e11
Add error for virtual member function without self (#5005)
|
1 year ago |
|
generic.cpp
|
e25f58adec
Rebuild the type of a `bind_symbolic_name` when building an eval block (#5174)
|
1 year ago |
|
generic.h
|
6dbcc78e6c
Rewrite symbolic constants in generic redeclarations (#5154)
|
1 year ago |
|
generic_region_stack.cpp
|
d437e4bffe
Create an array stack type for a shared use-case (#4100)
|
1 year ago |
|
generic_region_stack.h
|
5574ad361d
Add more empty stack verification (#5020)
|
1 year ago |
|
global_init.cpp
|
5a4b63a040
[Refactor] Move call_params_id from EntityBase to FunctionFields. (#5146)
|
1 year ago |
|
global_init.h
|
cf389bf5d3
Split global init out from InstBlockStack. (#4101)
|
1 year ago |
|
handle.h
|
99696b9812
Rename check handlers to HandleParseNode overloads. (#4121)
|
1 year ago |
|
handle_alias.cpp
|
311b4ff03d
Refactor AddInst-family functions to their own file (#4941)
|
1 year ago |
|
handle_array.cpp
|
24bde46181
Change array syntax from [T; N] to array(T, N) (#4981)
|
1 year ago |
|
handle_binding_pattern.cpp
|
832c6398d6
Reduce explicit SemIR::LocIdAndInst construction (#5153)
|
1 year ago |
|
handle_call_expr.cpp
|
63ff0cca1a
Include the call arguments in the location of a call. (#4602)
|
1 year ago |
|
handle_choice.cpp
|
832c6398d6
Reduce explicit SemIR::LocIdAndInst construction (#5153)
|
1 year ago |
|
handle_class.cpp
|
6dbcc78e6c
Rewrite symbolic constants in generic redeclarations (#5154)
|
1 year ago |
|
handle_codeblock.cpp
|
99696b9812
Rename check handlers to HandleParseNode overloads. (#4121)
|
1 year ago |
|
handle_export.cpp
|
79a86074b1
Fix crash when exporting a poisoned name (#5074)
|
1 year ago |
|
handle_expr_statement.cpp
|
99696b9812
Rename check handlers to HandleParseNode overloads. (#4121)
|
1 year ago |
|
handle_file.cpp
|
99696b9812
Rename check handlers to HandleParseNode overloads. (#4121)
|
1 year ago |
|
handle_function.cpp
|
6dbcc78e6c
Rewrite symbolic constants in generic redeclarations (#5154)
|
1 year ago |
|
handle_if_expr.cpp
|
588bdd74c3
Refactor region_stack logic out of Context (#4927)
|
1 year ago |
|
handle_if_statement.cpp
|
311b4ff03d
Refactor AddInst-family functions to their own file (#4941)
|
1 year ago |
|
handle_impl.cpp
|
6dbcc78e6c
Rewrite symbolic constants in generic redeclarations (#5154)
|
1 year ago |
|
handle_import_and_package.cpp
|
8eb4e24cb6
Implement #4864: `Core` is a keyword (#4909)
|
1 year ago |
|
handle_index.cpp
|
311b4ff03d
Refactor AddInst-family functions to their own file (#4941)
|
1 year ago |
|
handle_interface.cpp
|
6dbcc78e6c
Rewrite symbolic constants in generic redeclarations (#5154)
|
1 year ago |
|
handle_let_and_var.cpp
|
832c6398d6
Reduce explicit SemIR::LocIdAndInst construction (#5153)
|
1 year ago |
|
handle_literal.cpp
|
acbe6530c3
Move diagnostics into a namespace (#5173)
|
1 year ago |
|
handle_loop_statement.cpp
|
311b4ff03d
Refactor AddInst-family functions to their own file (#4941)
|
1 year ago |
|
handle_match.cpp
|
99696b9812
Rename check handlers to HandleParseNode overloads. (#4121)
|
1 year ago |
|
handle_modifier.cpp
|
9cd3f0aa3d
Remove obsolete '...' hints on node kind macros (#4958)
|
1 year ago |
|
handle_name.cpp
|
acbe6530c3
Move diagnostics into a namespace (#5173)
|
1 year ago |
|
handle_named_constraint.cpp
|
99696b9812
Rename check handlers to HandleParseNode overloads. (#4121)
|
1 year ago |
|
handle_namespace.cpp
|
832c6398d6
Reduce explicit SemIR::LocIdAndInst construction (#5153)
|
1 year ago |
|
handle_noop.cpp
|
4d0a6db49b
Abort checking when encountering an invalid parse node (#4700)
|
1 year ago |
|
handle_operator.cpp
|
197e784140
Add parsing for partial types (#5009)
|
1 year ago |
|
handle_paren_expr.cpp
|
99696b9812
Rename check handlers to HandleParseNode overloads. (#4121)
|
1 year ago |
|
handle_pattern_list.cpp
|
74e1a9949f
Support tuple patterns outside parameter lists (#4923)
|
1 year ago |
|
handle_return_statement.cpp
|
99696b9812
Rename check handlers to HandleParseNode overloads. (#4121)
|
1 year ago |
|
handle_struct.cpp
|
acbe6530c3
Move diagnostics into a namespace (#5173)
|
1 year ago |
|
handle_tuple_literal.cpp
|
311b4ff03d
Refactor AddInst-family functions to their own file (#4941)
|
1 year ago |
|
handle_where.cpp
|
c4c3381b18
Add `TypeId::is_symbolic` and `is_concrete`. (#5024)
|
1 year ago |
|
impl.cpp
|
0d3d829478
Cleanup pass over llvm::seq uses (#5185)
|
1 year ago |
|
impl.h
|
eb69d7420e
First iteration of completing and resolving facet types (#4920)
|
1 year ago |
|
impl_lookup.cpp
|
53c98a8619
Support specialization in impl lookup with a symbolic query/impl. (#5169)
|
1 year ago |
|
impl_lookup.h
|
53c98a8619
Support specialization in impl lookup with a symbolic query/impl. (#5169)
|
1 year ago |
|
import.cpp
|
acbe6530c3
Move diagnostics into a namespace (#5173)
|
1 year ago |
|
import.h
|
fcd38a4d7f
Add support for importing C++ namespaces (#5103)
|
1 year ago |
|
import_cpp.cpp
|
acbe6530c3
Move diagnostics into a namespace (#5173)
|
1 year ago |
|
import_cpp.h
|
87b9cab7b1
Add support for importing a trivial global C++ function (#5033)
|
1 year ago |
|
import_ref.cpp
|
53c98a8619
Support specialization in impl lookup with a symbolic query/impl. (#5169)
|
1 year ago |
|
import_ref.h
|
6a99c4e970
When diagnosing a duplicated name, add the name to the diagnosis (#4902)
|
1 year ago |
|
inst.cpp
|
584426dfa2
Initial work on support for templates (#5081)
|
1 year ago |
|
inst.h
|
832c6398d6
Reduce explicit SemIR::LocIdAndInst construction (#5153)
|
1 year ago |
|
inst_block_stack.cpp
|
c0ee446cec
Refactor InstBlockStore's API, AddDefaultValue -> AddPlaceholder (#5166)
|
1 year ago |
|
inst_block_stack.h
|
9c0faf007e
Invalid comment cleanup (#4836)
|
1 year ago |
|
interface.cpp
|
6fd139b805
Renumber inner parameters when checking an impl function against an interface function. (#5113)
|
1 year ago |
|
interface.h
|
6fd139b805
Renumber inner parameters when checking an impl function against an interface function. (#5113)
|
1 year ago |
|
keyword_modifier_set.h
|
5f888e1124
Treat associated constants as entities parameterized by Self (#4837)
|
1 year ago |
|
lexical_lookup.h
|
4148161e24
Refactor value store code to use separate files. (#4477)
|
1 year ago |
|
literal.cpp
|
311b4ff03d
Refactor AddInst-family functions to their own file (#4941)
|
1 year ago |
|
literal.h
|
e4412a95dd
Factor out machinery for forming int type literals. (#4616)
|
1 year ago |
|
member_access.cpp
|
d431e1fbf4
Never perform instance binding with implicit `Self` in an interface (#5121)
|
1 year ago |
|
member_access.h
|
d431e1fbf4
Never perform instance binding with implicit `Self` in an interface (#5121)
|
1 year ago |
|
merge.cpp
|
acbe6530c3
Move diagnostics into a namespace (#5173)
|
1 year ago |
|
merge.h
|
f97f1a3e11
Add error for virtual member function without self (#5005)
|
1 year ago |
|
modifiers.cpp
|
acbe6530c3
Move diagnostics into a namespace (#5173)
|
1 year ago |
|
modifiers.h
|
b5a837aa89
Refactor modifier formatting to remove string passing. (#4418)
|
1 year ago |
|
name_component.cpp
|
8738497301
Fix parse support for 'fn F[];' (#5135)
|
1 year ago |
|
name_component.h
|
6b5eb1a101
Id::Invalid -> Id::None (#4834)
|
1 year ago |
|
name_lookup.cpp
|
acbe6530c3
Move diagnostics into a namespace (#5173)
|
1 year ago |
|
name_lookup.h
|
6a99c4e970
When diagnosing a duplicated name, add the name to the diagnosis (#4902)
|
1 year ago |
|
node_id_traversal.cpp
|
6b5eb1a101
Id::Invalid -> Id::None (#4834)
|
1 year ago |
|
node_id_traversal.h
|
6b5eb1a101
Id::Invalid -> Id::None (#4834)
|
1 year ago |
|
node_stack.cpp
|
1917ea223e
Avoid redundantly specifying Id::Kind. (#4911)
|
1 year ago |
|
node_stack.h
|
21687e8cb1
Fix use of keyword names in qualifiers with params (#5130)
|
1 year ago |
|
operator.cpp
|
422cc3d48a
Move diagnostic usings off Context (#5007)
|
1 year ago |
|
operator.h
|
422cc3d48a
Move diagnostic usings off Context (#5007)
|
1 year ago |
|
param_and_arg_refs_stack.h
|
e7b68572fa
Consolidate post-check logic (#5003)
|
1 year ago |
|
pattern_match.cpp
|
acbe6530c3
Move diagnostics into a namespace (#5173)
|
1 year ago |
|
pattern_match.h
|
9c0faf007e
Invalid comment cleanup (#4836)
|
1 year ago |
|
pending_block.h
|
832c6398d6
Reduce explicit SemIR::LocIdAndInst construction (#5153)
|
1 year ago |
|
pointer_dereference.cpp
|
311b4ff03d
Refactor AddInst-family functions to their own file (#4941)
|
1 year ago |
|
pointer_dereference.h
|
d0e8afc51b
Handle arrow operator (#3768)
|
2 years ago |
|
region_stack.h
|
5574ad361d
Add more empty stack verification (#5020)
|
1 year ago |
|
return.cpp
|
422cc3d48a
Move diagnostic usings off Context (#5007)
|
1 year ago |
|
return.h
|
13434f0e8a
Model `var` as a pattern operator (#4720)
|
1 year ago |
|
scope_index.h
|
f0403dadab
Move None to IdBase (#5030)
|
1 year ago |
|
scope_stack.cpp
|
d264f14027
Clean up handling of `Call` params (#5061)
|
1 year ago |
|
scope_stack.h
|
e7b68572fa
Consolidate post-check logic (#5003)
|
1 year ago |
|
sem_ir_loc_diagnostic_emitter.cpp
|
acbe6530c3
Move diagnostics into a namespace (#5173)
|
1 year ago |
|
sem_ir_loc_diagnostic_emitter.h
|
acbe6530c3
Move diagnostics into a namespace (#5173)
|
1 year ago |
|
subpattern.cpp
|
c0ee446cec
Refactor InstBlockStore's API, AddDefaultValue -> AddPlaceholder (#5166)
|
1 year ago |
|
subpattern.h
|
74e1a9949f
Support tuple patterns outside parameter lists (#4923)
|
1 year ago |
|
subst.cpp
|
0d3d829478
Cleanup pass over llvm::seq uses (#5185)
|
1 year ago |
|
subst.h
|
e25f58adec
Rebuild the type of a `bind_symbolic_name` when building an eval block (#5174)
|
1 year ago |
|
type.cpp
|
f30fa2d3db
Move the `EvalConstantInst` overloads out of `eval.cpp` into their own file. (#5040)
|
1 year ago |
|
type.h
|
f30fa2d3db
Move the `EvalConstantInst` overloads out of `eval.cpp` into their own file. (#5040)
|
1 year ago |
|
type_completion.cpp
|
acbe6530c3
Move diagnostics into a namespace (#5173)
|
1 year ago |
|
type_completion.h
|
ebaf62efb9
Associated constants can be used in member function signatures (#5089)
|
1 year ago |
|
type_structure.cpp
|
53c98a8619
Support specialization in impl lookup with a symbolic query/impl. (#5169)
|
1 year ago |
|
type_structure.h
|
11ae0e27ab
Deduce through FacetValue (#5158)
|
1 year ago |
Jon Ross-Perkins