<div dir="ltr">Hi All,<div><br></div><div>I am fairly new to clang. I am trying to implement experimental type checking rules for lambda functions. I would mainly like to get feedback on following;</div><div><br></div><div>
1. I believe clang/lib/Sema is responsible for carrying out type checking. In the files in clang/lib/Sema I mainly saw 2 types of functions; a. BuildXXX functions and ActOnXXX functions. Which function pattern contains actual type checking implementations ? (In other words in which functions we do type checking ? e.g. :- function type checking etc ...)</div>
<div><br></div><div>2. In clang where (the class responsible) do we keep the information about type environment (i.e. type information about each variable, function etc ...) and how to retrieve/update type information ?</div>
<div><br></div><div>Will be great if I could get feedback on above.</div><div><br></div><div>Thank you in advance.</div><div><br></div><div>Regards</div><div>Thejaka Amila <br></div>























</div>