pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'b5efc56afb'
${ noResults }
infer_clone/infer/src/IR/BuiltinDecl.mli

15 lines
339 B
Raw Normal View History Unescape

[backend] Split construction of builtin pnames and builtin registration Summary: this makes frontends no longer depend on SymExec.ml. `ModelBuiltins` was split into two modules: - `BuiltinDecl` with procnames for builtins (used to determine whether some function is a builtin) - `BuiltinDefn` with implementations used by `SymExec` - they both have similar type defined in `BUILTINS.S` which makes sure that new builtin gets added into both modules. During the refactor I ran some scripts: `BuiltinDecl.ml`: let X = create_procname "X" cat BuiltinDecl.ml | grep "create_procname" | tail -70 | awk ' { print $1,$2,$3,$4,"\42"$2"\42"} ' then manually confirm string match. Exceptions: "__exit" -> "_exit" "objc_cpp_throw" -> "__infer_objc_cpp_throw" __objc_dictionary_literal nsArray_arrayWithObjects nsArray_arrayWithObjectsCount `BuiltinDefn.ml`: let X = Builtin.register BuiltinDecl.X execute_X cat BuiltinDecl.ml | grep "create_procname" | tail -70 | awk ' { print $1,$2,$3,"Builtin.register BuiltinDecl."$2,"execute_"$2} ' then, fix all compilation problems Reviewed By: jberdine Differential Revision: D3951035 fbshipit-source-id: f059602
8 years ago
(*
Change license to MIT Summary: Change the license of the source code from BSD + PATENTS to MIT. Change `checkCopyright` to reflect the new license and learn some new file types. Generated with: ``` git grep BSD | xargs -n 1 ./scripts/checkCopyright -i ``` Reviewed By: jeremydubreil, mbouaziz, jberdine Differential Revision: D8071249 fbshipit-source-id: 97ca23a
7 years ago
* Copyright (c) 2016-present, Facebook, Inc.
[backend] Split construction of builtin pnames and builtin registration Summary: this makes frontends no longer depend on SymExec.ml. `ModelBuiltins` was split into two modules: - `BuiltinDecl` with procnames for builtins (used to determine whether some function is a builtin) - `BuiltinDefn` with implementations used by `SymExec` - they both have similar type defined in `BUILTINS.S` which makes sure that new builtin gets added into both modules. During the refactor I ran some scripts: `BuiltinDecl.ml`: let X = create_procname "X" cat BuiltinDecl.ml | grep "create_procname" | tail -70 | awk ' { print $1,$2,$3,$4,"\42"$2"\42"} ' then manually confirm string match. Exceptions: "__exit" -> "_exit" "objc_cpp_throw" -> "__infer_objc_cpp_throw" __objc_dictionary_literal nsArray_arrayWithObjects nsArray_arrayWithObjectsCount `BuiltinDefn.ml`: let X = Builtin.register BuiltinDecl.X execute_X cat BuiltinDecl.ml | grep "create_procname" | tail -70 | awk ' { print $1,$2,$3,"Builtin.register BuiltinDecl."$2,"execute_"$2} ' then, fix all compilation problems Reviewed By: jberdine Differential Revision: D3951035 fbshipit-source-id: f059602
8 years ago
*
Change license to MIT Summary: Change the license of the source code from BSD + PATENTS to MIT. Change `checkCopyright` to reflect the new license and learn some new file types. Generated with: ``` git grep BSD | xargs -n 1 ./scripts/checkCopyright -i ``` Reviewed By: jeremydubreil, mbouaziz, jberdine Differential Revision: D8071249 fbshipit-source-id: 97ca23a
7 years ago
* This source code is licensed under the MIT license found in the
* LICENSE file in the root directory of this source tree.
[backend] Split construction of builtin pnames and builtin registration Summary: this makes frontends no longer depend on SymExec.ml. `ModelBuiltins` was split into two modules: - `BuiltinDecl` with procnames for builtins (used to determine whether some function is a builtin) - `BuiltinDefn` with implementations used by `SymExec` - they both have similar type defined in `BUILTINS.S` which makes sure that new builtin gets added into both modules. During the refactor I ran some scripts: `BuiltinDecl.ml`: let X = create_procname "X" cat BuiltinDecl.ml | grep "create_procname" | tail -70 | awk ' { print $1,$2,$3,$4,"\42"$2"\42"} ' then manually confirm string match. Exceptions: "__exit" -> "_exit" "objc_cpp_throw" -> "__infer_objc_cpp_throw" __objc_dictionary_literal nsArray_arrayWithObjects nsArray_arrayWithObjectsCount `BuiltinDefn.ml`: let X = Builtin.register BuiltinDecl.X execute_X cat BuiltinDecl.ml | grep "create_procname" | tail -70 | awk ' { print $1,$2,$3,"Builtin.register BuiltinDecl."$2,"execute_"$2} ' then, fix all compilation problems Reviewed By: jberdine Differential Revision: D3951035 fbshipit-source-id: f059602
8 years ago
*)
Divide Utils into Utils, Pp, and IStd Summary: Utils contains definitions intended to be in the global namespace for all of the infer code-base, as well as pretty-printing functions, and assorted utility functions mostly for dealing with files and processes. This diff changes the module opened into the global namespace to IStd (Std conflict with extlib), and moves the pretty-printing definitions from Utils to Pp. Reviewed By: jvillard Differential Revision: D4232457 fbshipit-source-id: 1e070e0
8 years ago
open! IStd
[backend] Split construction of builtin pnames and builtin registration Summary: this makes frontends no longer depend on SymExec.ml. `ModelBuiltins` was split into two modules: - `BuiltinDecl` with procnames for builtins (used to determine whether some function is a builtin) - `BuiltinDefn` with implementations used by `SymExec` - they both have similar type defined in `BUILTINS.S` which makes sure that new builtin gets added into both modules. During the refactor I ran some scripts: `BuiltinDecl.ml`: let X = create_procname "X" cat BuiltinDecl.ml | grep "create_procname" | tail -70 | awk ' { print $1,$2,$3,$4,"\42"$2"\42"} ' then manually confirm string match. Exceptions: "__exit" -> "_exit" "objc_cpp_throw" -> "__infer_objc_cpp_throw" __objc_dictionary_literal nsArray_arrayWithObjects nsArray_arrayWithObjectsCount `BuiltinDefn.ml`: let X = Builtin.register BuiltinDecl.X execute_X cat BuiltinDecl.ml | grep "create_procname" | tail -70 | awk ' { print $1,$2,$3,"Builtin.register BuiltinDecl."$2,"execute_"$2} ' then, fix all compilation problems Reviewed By: jberdine Differential Revision: D3951035 fbshipit-source-id: f059602
8 years ago
(** Procnames for the builtin functions supported *)
[format] Attach docstrings to be warning 50 clean, other doc fixes Summary: Fix (most of?) the docstrings in code converted from Reason. Reviewed By: jvillard Differential Revision: D5413793 fbshipit-source-id: 004b305
8 years ago
[codemod] Move `Procname` into `Typ.Procname` Summary: `Procname` needs to depend on `Typ.t` and `Typ.Struct` depends on `Procname.t`. To resolve this circular dependency issue, move `Procname` into `Typ` steps: 1. Move everything from `Procname` to `Typ.Procname`, remove `Procname.re(i)` 2. search & replace `Procname.` with `Typ.Procname.` 3. fix outstanding compilation issues manually 4. `yes | arc lint` Reviewed By: jberdine Differential Revision: D4681509 fbshipit-source-id: b07af63
8 years ago
include BUILTINS.S with type t = Typ.Procname.t
[backend] Split construction of builtin pnames and builtin registration Summary: this makes frontends no longer depend on SymExec.ml. `ModelBuiltins` was split into two modules: - `BuiltinDecl` with procnames for builtins (used to determine whether some function is a builtin) - `BuiltinDefn` with implementations used by `SymExec` - they both have similar type defined in `BUILTINS.S` which makes sure that new builtin gets added into both modules. During the refactor I ran some scripts: `BuiltinDecl.ml`: let X = create_procname "X" cat BuiltinDecl.ml | grep "create_procname" | tail -70 | awk ' { print $1,$2,$3,$4,"\42"$2"\42"} ' then manually confirm string match. Exceptions: "__exit" -> "_exit" "objc_cpp_throw" -> "__infer_objc_cpp_throw" __objc_dictionary_literal nsArray_arrayWithObjects nsArray_arrayWithObjectsCount `BuiltinDefn.ml`: let X = Builtin.register BuiltinDecl.X execute_X cat BuiltinDecl.ml | grep "create_procname" | tail -70 | awk ' { print $1,$2,$3,"Builtin.register BuiltinDecl."$2,"execute_"$2} ' then, fix all compilation problems Reviewed By: jberdine Differential Revision: D3951035 fbshipit-source-id: f059602
8 years ago
[codemod] Move `Procname` into `Typ.Procname` Summary: `Procname` needs to depend on `Typ.t` and `Typ.Struct` depends on `Procname.t`. To resolve this circular dependency issue, move `Procname` into `Typ` steps: 1. Move everything from `Procname` to `Typ.Procname`, remove `Procname.re(i)` 2. search & replace `Procname.` with `Typ.Procname.` 3. fix outstanding compilation issues manually 4. `yes | arc lint` Reviewed By: jberdine Differential Revision: D4681509 fbshipit-source-id: b07af63
8 years ago
val is_declared : Typ.Procname.t -> bool