=========================================================== .___ __ __ _________________ __ __ __| _/|__|/ |_ / ___\_` __ \__ \ | | \/ __ | | \\_ __\ / /_/ > | \// __ \| | / /_/ | | || | \___ /|__| (____ /____/\____ | |__||__| /_____/ \/ \/ grep rough audit - static analysis tool v2.8 written by @Wireghoul =================================[justanotherhacker.com]=== ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/Optimizer.fs-885- fsharp-4.0.0.4+dfsg2/src/fsharp/Optimizer.fs:886: // Retypings using IL asm "" are quite common in prim-types.fs fsharp-4.0.0.4+dfsg2/src/fsharp/Optimizer.fs-887- // Sometimes these are only to get the primitives to pass the type checker. ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-1174- fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs:1175:let mkRecdFieldGetViaExprAddr(e,fref,tinst,m) = Expr.Op (TOp.ValFieldGet(fref), tinst, [e],m) fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs:1176:let mkRecdFieldGetAddrViaExprAddr(e,fref,tinst,m) = Expr.Op (TOp.ValFieldGetAddr(fref), tinst, [e],m) fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-1177- fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs:1178:let mkStaticRecdFieldGetAddr(fref,tinst,m) = Expr.Op (TOp.ValFieldGetAddr(fref), tinst, [],m) fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-1179-let mkStaticRecdFieldGet(fref,tinst,m) = Expr.Op (TOp.ValFieldGet(fref), tinst, [],m) ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-1181- fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs:1182:let mkRecdFieldSetViaExprAddr(e1,fref,tinst,e2,m) = Expr.Op (TOp.ValFieldSet(fref), tinst, [e1;e2],m) fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-1183- ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-3305- wordL "Rethrow!" fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs:3306: | Expr.Op (TOp.ILAsm (a,tys),tyargs,args,_) -> fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-3307- let instrs = a |> List.map (sprintf "%+A" >> wordL) |> spaceListL // %+A has + since instrs are from an "internal" type ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-4138- fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs:4139: | TOp.ILAsm (_,tys) -> accFreeVarsInTys opts tys acc fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-4140- | TOp.Reraise -> accUsesRethrow true acc ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-4542- let tmp,_ = mkMutableCompGenLocal m "copyOfStruct" (actualTyOfRecdFieldRef rfref tinst) fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs:4543: mkCompGenLet m tmp (mkRecdFieldGetViaExprAddr(arg,rfref,tinst,m)) (mkValAddr m (mkLocalValRef tmp)) fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-4544- ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-4612- | TOp.ValFieldGet rfref -> TOp.ValFieldGet(remapRecdFieldRef tmenv.tyconRefRemap rfref) fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs:4613: | TOp.ValFieldGetAddr rfref -> TOp.ValFieldGetAddr(remapRecdFieldRef tmenv.tyconRefRemap rfref) fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-4614- | TOp.UnionCaseFieldGet(ucref,n) -> TOp.UnionCaseFieldGet(remapUnionCaseRef tmenv.tyconRefRemap ucref,n) fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-4615- | TOp.UnionCaseFieldSet(ucref,n) -> TOp.UnionCaseFieldSet(remapUnionCaseRef tmenv.tyconRefRemap ucref,n) fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs:4616: | TOp.ILAsm (instrs,tys) -> TOp.ILAsm (instrs,remapTypes tmenv tys) fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-4617- | TOp.TraitCall(traitInfo) -> TOp.TraitCall(remapTraitAux tmenv traitInfo) ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-5090- | (TOp.TryCatch _ | TOp.TryFinally _) -> (match tinst with [ty] -> ty | _ -> failwith "bad TOp_try node") fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs:5091: | TOp.ValFieldGetAddr(fref) -> mkByrefTy g (actualTyOfRecdFieldRef fref tinst) fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-5092- | TOp.ValFieldGet(fref) -> actualTyOfRecdFieldRef fref tinst ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-5388- let wrap,expra = mkExprAddrOfExpr g (isStructTy g exprty) false mut e None m fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs:5389: wrap, mkRecdFieldGetAddrViaExprAddr(expra,rfref,tinst,m) fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-5390- fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-5391- // LVALUE: "x" where "e.x" is a .NET static field. fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs:5392: | Expr.Op (TOp.ILAsm ([IL.I_ldsfld(_vol,fspec)],[ty2]), tinst,[],m) -> fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs:5393: (fun x -> x),Expr.Op (TOp.ILAsm ([IL.I_ldsflda(fspec)],[mkByrefTy g ty2]), tinst,[],m) fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-5394- fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-5395- // LVALUE: "x" where "e.x" is a .NET instance field. "e" may be an lvalue fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs:5396: | Expr.Op (TOp.ILAsm ([IL.I_ldfld(_align,_vol,fspec)],[ty2]), tinst,[e],m) fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-5397- -> ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-5399- let wrap,expra = mkExprAddrOfExpr g (isStructTy g exprty) false mut e None m fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs:5400: wrap,Expr.Op (TOp.ILAsm ([IL.I_ldflda(fspec)],[mkByrefTy g ty2]), tinst,[expra],m) fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-5401- ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-5403- | Expr.Op (TOp.ValFieldGet rfref, tinst,[],m) when MustTakeAddressOfRecdField rfref || CanTakeAddressOfRecdField g rfref mut tinst -> fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs:5404: (fun x -> x), mkStaticRecdFieldGetAddr(rfref,tinst,m) fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-5405- ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-5415- | _ -> false fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs:5416: (fun x -> x), Expr.Op (TOp.ILAsm ([IL.I_ldelema(readonly,isNativePtr,shape,mkILTyvarTy 0us)],[mkByrefTy g elemTy]), [elemTy],[aexpr;nexpr],m) fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-5417- ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-5428- fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs:5429: (fun x -> x), Expr.Op (TOp.ILAsm ([IL.I_ldelema(readonly,isNativePtr,shape,mkILTyvarTy 0us)],[mkByrefTy g elemTy]), [elemTy],(aexpr::args),m) fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-5430- ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-5453- let wrap,e' = mkExprAddrOfExpr g fref.Tycon.IsStructOrEnumTycon false NeverMutates e None m fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs:5454: wrap (mkRecdFieldGetViaExprAddr(e',fref,tinst,m)) fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-5455- ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-5457- let wrap,e' = mkExprAddrOfExpr g fref.Tycon.IsStructOrEnumTycon false DefinitelyMutates e None m fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs:5458: wrap (mkRecdFieldSetViaExprAddr(e',fref,tinst,e2,m)) fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-5459- ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-5508- IterateRecursiveFixups g None rvs fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs:5509: (mkRecdFieldGetViaExprAddr(access,fref,tinst,m), fsharp-4.0.0.4+dfsg2/src/fsharp/TastOps.fs-5510- (fun e -> ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/PostInferenceChecks.fs-61-// B6: expr@[byrefType] -- any type instantiation could introduce byref types. fsharp-4.0.0.4+dfsg2/src/fsharp/PostInferenceChecks.fs:62:// B7: asm -- TExpr_asm forms that create/consume byrefs. fsharp-4.0.0.4+dfsg2/src/fsharp/PostInferenceChecks.fs-63-// a) I_ldfld <byref> expr ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/PostInferenceChecks.fs-747- CheckExprInContext cenv env rx DirectArg (* allow rx to be byref here *) fsharp-4.0.0.4+dfsg2/src/fsharp/PostInferenceChecks.fs:748: | TOp.ILAsm (instrs,tys),_,_,_ -> fsharp-4.0.0.4+dfsg2/src/fsharp/PostInferenceChecks.fs-749- CheckTypeInstPermitByrefs cenv env m tys; ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/FSharp.Core.Unittests/SurfaceArea.Silverlight.2.0.fs-29- member this.VerifyArea() = fsharp-4.0.0.4+dfsg2/src/fsharp/FSharp.Core.Unittests/SurfaceArea.Silverlight.2.0.fs:30: let asm = typeof<int list>.Assembly fsharp-4.0.0.4+dfsg2/src/fsharp/FSharp.Core.Unittests/SurfaceArea.Silverlight.2.0.fs-31- ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/FSharp.Core.Unittests/FSharp.Core/Microsoft.FSharp.Reflection/FSharpReflection.fs-766- fsharp-4.0.0.4+dfsg2/src/fsharp/FSharp.Core.Unittests/FSharp.Core/Microsoft.FSharp.Reflection/FSharpReflection.fs:767: let getasm (t : Type) = t.Assembly fsharp-4.0.0.4+dfsg2/src/fsharp/FSharp.Core.Unittests/FSharp.Core/Microsoft.FSharp.Reflection/FSharpReflection.fs-768- fsharp-4.0.0.4+dfsg2/src/fsharp/FSharp.Core.Unittests/FSharp.Core/Microsoft.FSharp.Reflection/FSharpReflection.fs-769- // Positive Test fsharp-4.0.0.4+dfsg2/src/fsharp/FSharp.Core.Unittests/FSharp.Core/Microsoft.FSharp.Reflection/FSharpReflection.fs:770: let assemblyTypesPositive = (getasm (typeof<IsModule.IsModuleType>)).GetTypes() fsharp-4.0.0.4+dfsg2/src/fsharp/FSharp.Core.Unittests/FSharp.Core/Microsoft.FSharp.Reflection/FSharpReflection.fs-771- ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/FSharp.Core.Unittests/FSharp.Core/Microsoft.FSharp.Reflection/FSharpReflection.fs-780- // FSharp Assembly fsharp-4.0.0.4+dfsg2/src/fsharp/FSharp.Core.Unittests/FSharp.Core/Microsoft.FSharp.Reflection/FSharpReflection.fs:781: let asmCore = getasm (typeof<Microsoft.FSharp.Collections.List<int>>) fsharp-4.0.0.4+dfsg2/src/fsharp/FSharp.Core.Unittests/FSharp.Core/Microsoft.FSharp.Reflection/FSharpReflection.fs-782- Assert.IsFalse(FSharpType.IsModule(asmCore.GetTypes().[0])) ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/FSharp.Core.Unittests/FSharp.Core/Microsoft.FSharp.Reflection/FSharpReflection.fs-784- // .Net Assembly fsharp-4.0.0.4+dfsg2/src/fsharp/FSharp.Core.Unittests/FSharp.Core/Microsoft.FSharp.Reflection/FSharpReflection.fs:785: let asmSystem = getasm (typeof<System.DateTime>) fsharp-4.0.0.4+dfsg2/src/fsharp/FSharp.Core.Unittests/FSharp.Core/Microsoft.FSharp.Reflection/FSharpReflection.fs-786- Assert.IsFalse(FSharpType.IsModule(asmSystem.GetTypes().[0])) ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/FSharp.Core.Unittests/FSharp.Core/Microsoft.FSharp.Reflection/FSharpReflection.fs-788- // custom Assembly fsharp-4.0.0.4+dfsg2/src/fsharp/FSharp.Core.Unittests/FSharp.Core/Microsoft.FSharp.Reflection/FSharpReflection.fs:789: let asmCustom = getasm (typeof<SingleCaseDiscUnion>) fsharp-4.0.0.4+dfsg2/src/fsharp/FSharp.Core.Unittests/FSharp.Core/Microsoft.FSharp.Reflection/FSharpReflection.fs-790- Assert.IsFalse(FSharpType.IsModule(asmCustom.GetTypes().[0])) ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/FSharp.Core.Unittests/LibraryTestFx.fs-80- // get current fsharp.core fsharp-4.0.0.4+dfsg2/src/fsharp/FSharp.Core.Unittests/LibraryTestFx.fs:81: let asm = fsharp-4.0.0.4+dfsg2/src/fsharp/FSharp.Core.Unittests/LibraryTestFx.fs-82- #if portable7 || portable78 || portable259 ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/IlxGen.fs-469- match tcref.CompiledRepresentation with fsharp-4.0.0.4+dfsg2/src/fsharp/IlxGen.fs:470: | CompiledTypeRepr.ILAsmOpen _ -> failwith "GenUnionRef m: unexpected ASM tyrep" fsharp-4.0.0.4+dfsg2/src/fsharp/IlxGen.fs-471- | CompiledTypeRepr.ILAsmNamed (tref,_,_) -> ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/IlxGen.fs-1594- // Attach a source range to the method. Only do this is it has some sequence points, because .NET 2.0/3.5 fsharp-4.0.0.4+dfsg2/src/fsharp/IlxGen.fs:1595: // ILDASM has issues if you emit symbols with a source range but without any sequence points fsharp-4.0.0.4+dfsg2/src/fsharp/IlxGen.fs-1596- let sourceRange = if hasSequencePoints then GenPossibleILSourceMarker cenv m else None ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/IlxGen.fs-3033- fsharp-4.0.0.4+dfsg2/src/fsharp/IlxGen.fs:3034: // NOTE: THESE ARE NOT VALID ON FLOATING POINT DUE TO NaN. Hence INLINE ASM ON FP. MUST BE CAREFULLY WRITTEN fsharp-4.0.0.4+dfsg2/src/fsharp/IlxGen.fs-3035- ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/IlxGen.fs-6600- // Here we must encode: [SecurityPermission(SecurityAction.Demand, SerializationFormatter = true)] fsharp-4.0.0.4+dfsg2/src/fsharp/IlxGen.fs:6601: // In ILDASM this is: .permissionset demand = {[mscorlib]System.Security.Permissions.SecurityPermissionAttribute = {property bool 'SerializationFormatter' = bool(true)}} fsharp-4.0.0.4+dfsg2/src/fsharp/IlxGen.fs-6602- match cenv.g.ilg.tref_SecurityPermissionAttribute with ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/CompileOps.fs-4850- tcImports.GetImportedAssemblies() fsharp-4.0.0.4+dfsg2/src/fsharp/CompileOps.fs:4851: |> List.map (fun asm -> asm.FSharpViewOfMetadata, asm.AssemblyAutoOpenAttributes, asm |> internalsAreVisibleHere) fsharp-4.0.0.4+dfsg2/src/fsharp/CompileOps.fs-4852- ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/autobox.fs-153- let _nv,nve = nvs.[v] fsharp-4.0.0.4+dfsg2/src/fsharp/autobox.fs:154: Some (mkRecdFieldGetAddrViaExprAddr (nve,mkRefCellContentsRef g,[v.Type],m)) fsharp-4.0.0.4+dfsg2/src/fsharp/autobox.fs-155- ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/tast.fs-3725- /// IL assembly code - type list are the types pushed on the stack fsharp-4.0.0.4+dfsg2/src/fsharp/tast.fs:3726: | ILAsm of ILInstr list * TTypes fsharp-4.0.0.4+dfsg2/src/fsharp/tast.fs-3727- /// Generate a ldflda on an 'a ref. ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/tast.fs-3971- /// An AbstractIL type representation that may include type variables fsharp-4.0.0.4+dfsg2/src/fsharp/tast.fs:3972: // This case is only used for types defined in the F# library by their translation to ILASM types, e.g. fsharp-4.0.0.4+dfsg2/src/fsharp/tast.fs-3973- // type ``[]``<'T> = (# "!0[]" #) ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/QuotationTranslator.fs-432- fsharp-4.0.0.4+dfsg2/src/fsharp/QuotationTranslator.fs:433: | TOp.ValFieldGetAddr(_rfref),_tyargs,_ -> fsharp-4.0.0.4+dfsg2/src/fsharp/QuotationTranslator.fs-434- wfail(Error(FSComp.SR.crefQuotationsCantContainAddressOf(), m)) ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/QuotationTranslator.fs-656- | TOp.LValueOp(LGetAddr,vref),_,_ -> ConvValRef false cenv env m vref [] fsharp-4.0.0.4+dfsg2/src/fsharp/QuotationTranslator.fs:657: | TOp.ValFieldGetAddr(rfref),_,_ -> ConvRFieldGet cenv env m rfref tyargs args fsharp-4.0.0.4+dfsg2/src/fsharp/QuotationTranslator.fs-658- | TOp.ILAsm([ I_ldflda(fspec) ],_rtys),_,_ -> ConvLdfld cenv env m fspec tyargs args ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/QuotationTranslator.fs-974- match repr with fsharp-4.0.0.4+dfsg2/src/fsharp/QuotationTranslator.fs:975: | CompiledTypeRepr.ILAsmOpen asm -> fsharp-4.0.0.4+dfsg2/src/fsharp/QuotationTranslator.fs:976: match asm with fsharp-4.0.0.4+dfsg2/src/fsharp/QuotationTranslator.fs-977- | ILType.Boxed tspec | ILType.Value tspec -> ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TastPickle.fs-2288- | TOp.TupleFieldGet (a) -> p_byte 11 st; p_int a st fsharp-4.0.0.4+dfsg2/src/fsharp/TastPickle.fs:2289: | TOp.ILAsm (a,b) -> p_byte 12 st; p_tup2 (p_list p_ILInstr) p_typs (a,b) st fsharp-4.0.0.4+dfsg2/src/fsharp/TastPickle.fs-2290- | TOp.RefAddrGet -> p_byte 13 st ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TastPickle.fs-2302- | TOp.TryFinally _ -> p_byte 24 st fsharp-4.0.0.4+dfsg2/src/fsharp/TastPickle.fs:2303: | TOp.ValFieldGetAddr (a) -> p_byte 25 st; p_rfref a st fsharp-4.0.0.4+dfsg2/src/fsharp/TastPickle.fs-2304- | TOp.UInt16s arr -> p_byte 26 st; p_array p_uint16 arr st ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TastPickle.fs-2340- let b = u_typs st fsharp-4.0.0.4+dfsg2/src/fsharp/TastPickle.fs:2341: TOp.ILAsm (a,b) fsharp-4.0.0.4+dfsg2/src/fsharp/TastPickle.fs-2342- | 13 -> TOp.RefAddrGet ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/FindUnsolved.fs-131- fsharp-4.0.0.4+dfsg2/src/fsharp/FindUnsolved.fs:132: | TOp.ILAsm (_,tys) -> fsharp-4.0.0.4+dfsg2/src/fsharp/FindUnsolved.fs-133- accTypeInst cenv env tys ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TypeChecker.fs-2926- let wrap,objExpr = mkExprAddrOfExpr g isValueType false NeverMutates objExpr None m fsharp-4.0.0.4+dfsg2/src/fsharp/TypeChecker.fs:2927: // The empty instantiation on the AbstractIL fspec is OK, since we make the correct fspec in IlxGen.GenAsm fsharp-4.0.0.4+dfsg2/src/fsharp/TypeChecker.fs-2928- // This ensures we always get the type instantiation right when doing this from ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TypeChecker.fs-2938- let tinst = finfo.TypeInst fsharp-4.0.0.4+dfsg2/src/fsharp/TypeChecker.fs:2939: // The empty instantiation on the AbstractIL fspec is OK, since we make the correct fspec in IlxGen.GenAsm fsharp-4.0.0.4+dfsg2/src/fsharp/TypeChecker.fs-2940- // This ensures we always get the type instantiation right when doing this from ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TypeChecker.fs-2951- let tinst = finfo.TypeInst fsharp-4.0.0.4+dfsg2/src/fsharp/TypeChecker.fs:2952: // The empty instantiation on the AbstractIL fspec is OK, since we make the correct fspec in IlxGen.GenAsm fsharp-4.0.0.4+dfsg2/src/fsharp/TypeChecker.fs-2953- // This ensures we always get the type instantiation right when doing this from ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TypeChecker.fs-8295- fsharp-4.0.0.4+dfsg2/src/fsharp/TypeChecker.fs:8296: // The empty instantiation on the fspec is OK, since we make the correct fspec in IlxGen.GenAsm fsharp-4.0.0.4+dfsg2/src/fsharp/TypeChecker.fs-8297- // This ensures we always get the type instantiation right when doing this from ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TypeChecker.fs-11555- let thise = exprForVal m thisVal fsharp-4.0.0.4+dfsg2/src/fsharp/TypeChecker.fs:11556: mkRecdFieldGetViaExprAddr(thise,rfref,tinst,m) fsharp-4.0.0.4+dfsg2/src/fsharp/TypeChecker.fs-11557- | InField(false, _idx, _rfref),None -> ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TypeChecker.fs-11580- let thise = exprForVal m thisVal fsharp-4.0.0.4+dfsg2/src/fsharp/TypeChecker.fs:11581: mkRecdFieldSetViaExprAddr(thise,rfref,tinst,expr,m) fsharp-4.0.0.4+dfsg2/src/fsharp/TypeChecker.fs-11582- | InField(false,_,_rfref),None -> ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TypeChecker.fs-11596- let thise = exprForVal m thisVal fsharp-4.0.0.4+dfsg2/src/fsharp/TypeChecker.fs:11597: mkRecdFieldGetAddrViaExprAddr(thise,rfref,tinst,m) fsharp-4.0.0.4+dfsg2/src/fsharp/TypeChecker.fs-11598- | InField(false, _, _rfref),None -> ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/TypeChecker.fs-11600- | InField(true, idx, rfref),_ -> fsharp-4.0.0.4+dfsg2/src/fsharp/TypeChecker.fs:11601: let expr = mkStaticRecdFieldGetAddr(rfref,tinst,m) fsharp-4.0.0.4+dfsg2/src/fsharp/TypeChecker.fs-11602- MakeCheckSafeInit g tinst safeStaticInitInfo (mkInt g m idx) expr ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/AugmentWithHashCompare.fs-196- compe fsharp-4.0.0.4+dfsg2/src/fsharp/AugmentWithHashCompare.fs:197: (mkRecdFieldGetViaExprAddr(thise, fref, tinst, m)) fsharp-4.0.0.4+dfsg2/src/fsharp/AugmentWithHashCompare.fs:198: (mkRecdFieldGetViaExprAddr(thate, fref, tinst, m)) fsharp-4.0.0.4+dfsg2/src/fsharp/AugmentWithHashCompare.fs-199- let expr = mkCompareTestConjuncts g m (List.map mkTest fields) ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/AugmentWithHashCompare.fs-220- compe fsharp-4.0.0.4+dfsg2/src/fsharp/AugmentWithHashCompare.fs:221: (mkRecdFieldGetViaExprAddr(thise, fref, tinst, m)) fsharp-4.0.0.4+dfsg2/src/fsharp/AugmentWithHashCompare.fs:222: (mkRecdFieldGetViaExprAddr(thataddre, fref, tinst, m)) fsharp-4.0.0.4+dfsg2/src/fsharp/AugmentWithHashCompare.fs-223- let expr = mkCompareTestConjuncts g m (List.map mkTest fields) ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/AugmentWithHashCompare.fs-243- mkCallGenericEqualityEROuter g m fty fsharp-4.0.0.4+dfsg2/src/fsharp/AugmentWithHashCompare.fs:244: (mkRecdFieldGetViaExprAddr(thise, fref, tinst, m)) fsharp-4.0.0.4+dfsg2/src/fsharp/AugmentWithHashCompare.fs:245: (mkRecdFieldGetViaExprAddr(thate, fref, tinst, m)) fsharp-4.0.0.4+dfsg2/src/fsharp/AugmentWithHashCompare.fs-246- let expr = mkEqualsTestConjuncts g m (List.map mkTest fields) ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/AugmentWithHashCompare.fs-266- compe fsharp-4.0.0.4+dfsg2/src/fsharp/AugmentWithHashCompare.fs:267: (mkRecdFieldGetViaExprAddr(thise, fref, tinst, m)) fsharp-4.0.0.4+dfsg2/src/fsharp/AugmentWithHashCompare.fs:268: (mkRecdFieldGetViaExprAddr(thataddre, fref, tinst, m)) fsharp-4.0.0.4+dfsg2/src/fsharp/AugmentWithHashCompare.fs-269- let expr = mkEqualsTestConjuncts g m (List.map mkTest fields) ############################################## fsharp-4.0.0.4+dfsg2/src/fsharp/AugmentWithHashCompare.fs-571- let m = fref.Range fsharp-4.0.0.4+dfsg2/src/fsharp/AugmentWithHashCompare.fs:572: let e = mkRecdFieldGetViaExprAddr(thise, fref, tinst, m) fsharp-4.0.0.4+dfsg2/src/fsharp/AugmentWithHashCompare.fs-573- ############################################## fsharp-4.0.0.4+dfsg2/src/absil/ilread.fs-181- fsharp-4.0.0.4+dfsg2/src/absil/ilread.fs:182: member m.Addr (i:int) : nativeint = fsharp-4.0.0.4+dfsg2/src/absil/ilread.fs-183- start + nativeint i ############################################## fsharp-4.0.0.4+dfsg2/src/absil/ilread.fs-304- let len, addr = seekReadCompressedUInt32 is addr fsharp-4.0.0.4+dfsg2/src/absil/ilread.fs:305: let bytes = seekReadBytes is addr (len - 1) fsharp-4.0.0.4+dfsg2/src/absil/ilread.fs-306- System.Text.Encoding.Unicode.GetString(bytes, 0, bytes.Length) ############################################## fsharp-4.0.0.4+dfsg2/src/absil/ilread.fs-3332- let _headerPhysSize = seekReadInt32 is (peOptionalHeaderPhysLoc + 60) (* Header Size Combined size of MS-DOS Header, PE Header, PE Optional Header and padding; shall be a multiple of the file alignment. *) fsharp-4.0.0.4+dfsg2/src/absil/ilread.fs:3333: let subsys = seekReadUInt16 is (peOptionalHeaderPhysLoc + 68) (* SubSystem Subsystem required to run this image. Shall be either IMAGE_SUBSYSTEM_WINDOWS_CE_GUI (!0x3) or IMAGE_SUBSYSTEM_WINDOWS_GUI (!0x2). QUERY: Why is this 3 on the images ILASM produces??? *) fsharp-4.0.0.4+dfsg2/src/absil/ilread.fs-3334- let useHighEnthropyVA = ############################################## fsharp-4.0.0.4+dfsg2/src/absil/ilread.fs-3401- if logging then dprintn (infile + ": dataHeaderStart = "+string dataHeaderStart); fsharp-4.0.0.4+dfsg2/src/absil/ilread.fs:3402: if logging then dprintn (infile + ": dataSegmentAddr (pre section crack) = "+string dataSegmentAddr); fsharp-4.0.0.4+dfsg2/src/absil/ilread.fs-3403- ############################################## fsharp-4.0.0.4+dfsg2/src/absil/ilread.fs-3408- fsharp-4.0.0.4+dfsg2/src/absil/ilread.fs:3409: if logging then dprintn (infile + ": dataSegmentAddr (post section crack) = "+string dataSegmentAddr); fsharp-4.0.0.4+dfsg2/src/absil/ilread.fs-3410- ############################################## fsharp-4.0.0.4+dfsg2/src/absil/ilread.fs-3832- fsharp-4.0.0.4+dfsg2/src/absil/ilread.fs:3833: let rowAddr (tab:TableName) idx = tablePhysLocations.[tab.Index] + (idx - 1) * tableRowSizes.[tab.Index] fsharp-4.0.0.4+dfsg2/src/absil/ilread.fs-3834- ############################################## fsharp-4.0.0.4+dfsg2/src/absil/il.fsi-925-/// Native Types, for marshalling to the native C interface. fsharp-4.0.0.4+dfsg2/src/absil/il.fsi:926:/// These are taken directly from the ILASM syntax, see ECMA Spec (Partition II, 7.4). fsharp-4.0.0.4+dfsg2/src/absil/il.fsi-927- ############################################## fsharp-4.0.0.4+dfsg2/src/absil/ilwrite.fs-369-let ctor (asmName:string) (clsName:string) (args:obj[]) = fsharp-4.0.0.4+dfsg2/src/absil/ilwrite.fs:370: let asm = Assembly.Load(asmName) fsharp-4.0.0.4+dfsg2/src/absil/ilwrite.fs-371- let ty = asm.GetType(clsName) ############################################## fsharp-4.0.0.4+dfsg2/src/absil/ilwrite.fs-4199- writeInt32 os 0x00; // File Checksum Always 0 (see Section 23.1). QUERY: NOT ALWAYS ZERO fsharp-4.0.0.4+dfsg2/src/absil/ilwrite.fs:4200: writeInt32AsUInt16 os modul.SubSystemFlags; // SubSystem Subsystem required to run this image. Shall be either IMAGE_SUBSYSTEM_WINDOWS_CE_GUI (0x3) or IMAGE_SUBSYSTEM_WINDOWS_GUI (0x2). QUERY: Why is this 3 on the images ILASM produces fsharp-4.0.0.4+dfsg2/src/absil/ilwrite.fs-4201- // DLL Flags Always 0x400 (no unmanaged windows exception handling - see Section 23.1). ############################################## fsharp-4.0.0.4+dfsg2/src/absil/ilascii.fsi-2- fsharp-4.0.0.4+dfsg2/src/absil/ilascii.fsi:3:/// Various constants and utilities used when parsing the ILASM format for IL fsharp-4.0.0.4+dfsg2/src/absil/ilascii.fsi-4-module internal Microsoft.FSharp.Compiler.AbstractIL.Internal.AsciiConstants ############################################## fsharp-4.0.0.4+dfsg2/src/absil/illex.fsl-148- { let s = (lexeme lexbuf) in kwdOrInstr s } fsharp-4.0.0.4+dfsg2/src/absil/illex.fsl:149: | [ '`' '\128'-'\255' '@' '?' '$' 'a'-'z' 'A'-'Z' '_'] [ '`' '\128'-'\255' '$' 'a'-'z' 'A'-'Z' '0'-'9' '-' '_' '@' '$' ] * fsharp-4.0.0.4+dfsg2/src/absil/illex.fsl-150- { kwdOrInstrOrId (lexeme lexbuf) } fsharp-4.0.0.4+dfsg2/src/absil/illex.fsl:151: | [ '`' '\128'-'\255' '@' '?' '$' 'a'-'z' 'A'-'Z' '_'] [ '`' '\128'-'\255' '$' 'a'-'z' 'A'-'Z' '0'-'9' '-' '_' '@' '$' ]+ fsharp-4.0.0.4+dfsg2/src/absil/illex.fsl:152: ('.' [ '`' '\128'-'\255' '@' '?' '$' 'a'-'z' 'A'-'Z' '_'] [ '`' '\128'-'\255' '$' 'a'-'z' 'A'-'Z' '0'-'9' '-' '_' '@' '$' ] +)+ fsharp-4.0.0.4+dfsg2/src/absil/illex.fsl-153- { VAL_DOTTEDNAME(lexeme lexbuf) } ############################################## fsharp-4.0.0.4+dfsg2/src/absil/il.fs-1228-// Native Types, for marshalling to the native C interface. fsharp-4.0.0.4+dfsg2/src/absil/il.fs:1229:// These are taken directly from the ILASM syntax, and don't really fsharp-4.0.0.4+dfsg2/src/absil/il.fs-1230-// correspond yet to the ECMA Spec (Partition II, 7.4). ############################################## fsharp-4.0.0.4+dfsg2/src/absil/il.fs-2370- fsharp-4.0.0.4+dfsg2/src/absil/il.fs:2371:let defaultSubSystem = 3 (* this is what comes out of ILDASM on 30/04/2001 *) fsharp-4.0.0.4+dfsg2/src/absil/il.fs:2372:let defaultPhysAlignment = 512 (* this is what comes out of ILDASM on 30/04/2001 *) fsharp-4.0.0.4+dfsg2/src/absil/il.fs:2373:let defaultVirtAlignment = 0x2000 (* this is what comes out of ILDASM on 30/04/2001 *) fsharp-4.0.0.4+dfsg2/src/absil/il.fs:2374:let defaultImageBase = 0x034f0000 (* this is what comes out of ILDASM on 30/04/2001 *) fsharp-4.0.0.4+dfsg2/src/absil/il.fs-2375- ############################################## fsharp-4.0.0.4+dfsg2/configure.ac-57- fsharp-4.0.0.4+dfsg2/configure.ac:58:MONOPREFIX=$(cd `$PKG_CONFIG --variable=prefix mono` && pwd) fsharp-4.0.0.4+dfsg2/configure.ac-59-MONOBINDIR="$MONOPREFIX"/bin ############################################## fsharp-4.0.0.4+dfsg2/configure.ac-184-fi fsharp-4.0.0.4+dfsg2/configure.ac:185:CONFIGURE_COMMAND="`dirname $0`/$CONFIGURE_FILE" fsharp-4.0.0.4+dfsg2/configure.ac-186- ############################################## fsharp-4.0.0.4+dfsg2/install-sh-217- fi fsharp-4.0.0.4+dfsg2/install-sh:218: cp_umask=`expr '(' 777 - $mode % 1000 ')' $u_plus_rw`;; fsharp-4.0.0.4+dfsg2/install-sh-219- *) ############################################## fsharp-4.0.0.4+dfsg2/install-sh-269- dstdir=$dst fsharp-4.0.0.4+dfsg2/install-sh:270: dst=$dstdir/`basename "$src"` fsharp-4.0.0.4+dfsg2/install-sh-271- dstdir_status=0 ############################################## fsharp-4.0.0.4+dfsg2/install-sh-351- # FreeBSD 6.1 mkdir -m -p sets mode of existing directory. fsharp-4.0.0.4+dfsg2/install-sh:352: ls_ld_tmpdir=`ls -ld "$tmpdir"` fsharp-4.0.0.4+dfsg2/install-sh-353- case $ls_ld_tmpdir in ############################################## fsharp-4.0.0.4+dfsg2/install-sh-358- $mkdirprog -m$different_mode -p -- "$tmpdir" && { fsharp-4.0.0.4+dfsg2/install-sh:359: ls_ld_tmpdir_1=`ls -ld "$tmpdir"` fsharp-4.0.0.4+dfsg2/install-sh-360- test "$ls_ld_tmpdir" = "$ls_ld_tmpdir_1" ############################################## fsharp-4.0.0.4+dfsg2/install-sh-418- case $prefix in fsharp-4.0.0.4+dfsg2/install-sh:419: *\'*) qprefix=`echo "$prefix" | sed "s/'/'\\\\\\\\''/g"`;; fsharp-4.0.0.4+dfsg2/install-sh-420- *) qprefix=$prefix;; ############################################## fsharp-4.0.0.4+dfsg2/install-sh-467- if $copy_on_change && fsharp-4.0.0.4+dfsg2/install-sh:468: old=`LC_ALL=C ls -dlL "$dst" 2>/dev/null` && fsharp-4.0.0.4+dfsg2/install-sh:469: new=`LC_ALL=C ls -dlL "$dsttmp" 2>/dev/null` && fsharp-4.0.0.4+dfsg2/install-sh-470- ############################################## fsharp-4.0.0.4+dfsg2/tests/fsharp/core/members/absil.fsi-562- * Native Types, for marshalling to the native C interface. fsharp-4.0.0.4+dfsg2/tests/fsharp/core/members/absil.fsi:563: * These are taken directly from the ILASM syntax, and don't really fsharp-4.0.0.4+dfsg2/tests/fsharp/core/members/absil.fsi-564- * correspond yet to the ECMA Spec (Partition II, 7.4).